This is an old revision of the document!

5. Functional data representation

5.1. Nats

trait Nat {}
case object Zero extends Nat {}
case class Succ(n: Nat) extends Nat {}