Notes for 'Thinking with Types: Type-Level Programming in Haskell', Chapters 1–5 #1 Post by abhin4v » Thu, Mar 19, 2020, 7:01 AM UTC Notes for 'Thinking with Types: Type-Level Programming in Haskell', Chapters 1–5abhinavsarkar.net