I asked a question on Quora about which universities use functional
programming in an intro CS course, and got a small list of replies. At the
very least, this could give you a place to start.
https://www.quora.com/Which-universities-teach-their-first-CS-course-in-a-fu...
On Thu, Aug 14, 2014 at 10:29 AM, Rustom Mody
I am collecting some data on FP used to introduce programming ie as a first course: http://blog.languager.org/2014/08/universities-starting-functional.html
Naturally the haskell link is the first: http://www.haskell.org/haskellwiki/Haskell_in_education
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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe