Thinking with Types: type-level programming in Haskell thinkingwithtypes.com 2 points by fanf2 13 hours ago
(2019)