>>>>> 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
