Simplicity is the ultimate sophistication.
Home
●
Blog
●
Projects
●
Talks
●
CV
●
Contacts
Posts tagged type-families
Fun with Dependent Types in Haskell
- Published
October 13 2014