This is a presentation about haskell's type families.
This can be read online at here.
cdepillabout
Back