MiniAgda-0.2014.1.9: test/succeed/simple_nat.ma

data Nat : Set 
{ zero : Nat
; suc  : Nat -> Nat
}

fun add : Nat -> Nat -> Nat 
{ add zero x = x 
; add (suc y) x = suc (add y x)
}