Tom Schrijvers wrote, > I was wondering whether there are any universities that teach about Haskell > type families or GADTs?
I do in my course "Language-based Software Safety" (both TFs and GADTs). It's an advanced, research-oriented course for 4th year undergraduate and for postgraduate students. (It wasn't offered last year and this year, but will be again offered next year.) Manuel _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
