Re: [Haskell-cafe] university courses on type families/GADTs?

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