Thinking with Types: Type-Level Programming in Haskell(leanpub.com)3 points by cauterize 7 years ago | 0 commentsNo comments yet