[Haskell-cafe] Joy Combinators (Occurs check: infinite type)

[Peter G. Hancock]

>>>>> Greg Buchholz wrote (on Wed, 09 Mar 2005 at 20:08):

    >     Can anyone recommend a nice dependently typed language to play with?
    > Cayenne, Epigram, other?

http://www.cs.chalmers.se/~catarina/agda/

See also the sexy IDE alfa: http://www.cs.chalmers.se/~hallgren/Alfa/

Peter Hancock