abhinavsarkar.net
About
Posts
Notes
Photos
Readings
Now
Feed
Link to Atom feed of posts
Posts tagged ‘type-level’
2021
Solving Advent of Code “Handy Haversacks” in Type-level Haskell
Jan 4, 2021
haskell
programming
type-level
17 min
0
2 🗣️
3 ❤️
1 🔁
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 🔁