Lobsters
- Notes for 'Thinking with Types: Type-level Programming in Haskell', Chapters 1–5 https://abhinavsarkar.net/posts/twt-notes-1/ 2 comments book , haskell , plt
- [ANN]: The book "Thinking with Types: Type-Level Programming in Haskell" is finished! https://leanpub.com/thinking-with-types 34 comments haskell
- Notes for 'Thinking with Types: Type-level Programming in Haskell', Chapters 1–5 https://abhinavsarkar.net/posts/twt-notes-1/ 3 comments haskell
- Doubt in Chapter-2 [Section 2.2 Data Kinds] of "Thinking With Types: Type-Level Programming in Haskell" book https://thinkingwithtypes.com/#about 15 comments haskell