[Haskell-cafe] haskell (and beyond) in education

Rustom Mody rustompmody at gmail.com
Thu Aug 14 17:29:59 UTC 2014

I am collecting some data on FP used to introduce programming
ie as a first course:

Naturally the haskell link is the first:

I was just wondering if there are more extremal cases of this:
eg Are there any univs using Idris/Agda to *introduce*
programming/math/proofs etc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140814/256f398b/attachment.html>

More information about the Haskell-Cafe mailing list