Hacker News new | ask | show | jobs
Thinking with Types: Type-Level Programming in Haskell (leanpub.com)
3 points by cauterize 2784 days ago