Changes since the 0.0.7 release

• "→" can be used instead of "->"
• GHC-7.10 support

Changes since the 0.0.6 release

• Clean up internals
• Enable -fReadline and -fHaskeline by default

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