0.1.0 (2025-10-29)
-------------------------------

* Update Cabal-Version requirement from >=1.10 to 2.2
* Require `mtl` >=2.2.1 for `Control.Monad.Except`
* Fix compilation error on recent `mtl` package

0.0.9 (2018-02-16)
-------------------------------

* Use `Control.Monad.Except` instead of deprecated Control.Monad.Error

0.0.8 (2016-01-14)
-------------------------------

* "→" can be used instead of "->"
* GHC-7.10 support
* Add windows installer

0.0.7 (2014-08-13)
-------------------------------

* Clean up internals
* Enable `-fReadline` and `-fHaskeline` by default

0.0.6 (2009-10-26)
-------------------------------

Readline/Haskeline support.

0.0.4
-------------------------------

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