Open tadeuzagallo opened 7 years ago
enum Nat { Z S(Nat) } fn even(x: Nat) -> Bool { match x { case Z: True case S(y): odd(y) } } fn odd(x: Nat) -> Bool { match x { case Z: False case S(y): even(y) } }