gistfile1.txt

enum void = {}
struct unit = {}

enum bool = {
  false
  true
}

enum nat = {
  zero
  succ nat
}

struct point3D = {
  val x: int
  val y: int
  val z: int
}

enum list(a) = {
  nil
  cons {
    val hd: a
    ref tl: list(a)
  }
}

def fib(n) = {
  case n = 0: 0
  case n = 1: 1
  case(m) n = succ(succ(m)): fib(n-1) + fib(n-2)
}