Skip to content

Latest commit

 

History

History
35 lines (25 loc) · 841 Bytes

CHANGELOG.markdown

File metadata and controls

35 lines (25 loc) · 841 Bytes

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