abhinavsarkar.net
About
Posts
Notes
Photos
Readings
Now
Feed
Link to Atom feed of posts
Posts tagged ‘notes’
2020
Notes for ‘Thinking with Types: Type-level Programming in Haskell’, Chapters 1–5
Mar 18, 2020
haskell
notes
programming
type-level
17 min
7
5 🗣️
16 ❤️
9 🔁