Tom,
I was wondering whether there are any universities that teach about Haskell type families or GADTs?
I'm quite sure at least GADTs are covered in INFOMAFP, the graduate course on Advanced Functional Programming at UU:
http://www.cs.uu.nl/docs/vakken/afp Cheers, Stefan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
