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

Peter G. Hancock hancock at spamcop.net
Wed Mar 9 17:36:26 EST 2005

>>>>> 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?


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

Peter Hancock

More information about the Haskell-Cafe mailing list