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

[Tikhon Jelvis]

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-functional-programming-language?share=1


On Thu, Aug 14, 2014 at 10:29 AM, Rustom Mody <rustompmody at gmail.com> wrote:

> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140814/42f78ceb/attachment.html>