Facebook Pixel
Iowa Type Theory Commute

A look at Haskell's module system

Iowa Type Theory Commute
Iowa Type Theory Commute

I briefly survey the main features of Haskell's module system, and reflect a bit on its design.

Iowa Type Theory Commute
Not playing