[Haskell-cafe] agda v. haskell

brad clawsie clawsie at fastmail.fm
Fri Sep 28 11:41:41 EDT 2007

dons has been posting some links regarding agda on reddit. fairly
interesting, a quick glance and you think you are reading haskell

does anyone have any insights on the major differences in these

More information about the Haskell-Cafe mailing list