Notes for 'Thinking with Types: Type-Level Programming in Haskell', Chapters 1–5abhinavsarkar.net2 points·abhin4v··0 commentsOpen articleSaveView on HN