= Changes since the 0.0.5 release Readline/Haskeline support. = Changes since the 0.0.3 release Function defintions are added. Examples: > let uncurry(f) = eval . prod(f, I) uncurry(f) = eval.prod(f,I) f: *a -> exp(*b,*c) ----------------------------- uncurry(f): prod(*a,*b) -> *c > let primrec(f,g) = pi2.pr(pair(0,f), pair(s.pi1, g)) primrec(f,g) = pi2.pr(pair(0,f),pair(s.pi1,g)) f: 1 -> *a g: prod(nat,*a) -> *a --------------------------------- primrec(f,g): nat -> *a