Notes for 'Thinking with Types: Type-Level Programming in Haskell', Chapters 1–5abhinavsarkar.net·2 pts·abhin4v·0
Mechanically Deriving Tree Iterators with Continuation Defunctionalizationabhinavsarkar.net·5 pts·abhin4v·0
Show HN: Precis – A minimal note-taking app built over GitHub Pagesabhin4v.github.io·34 pts·abhin4v·4