abhinavsarkar.net
About
Posts
Notes
μBlog
Projects
Photos
Readings
Activities
Now
Feed
Link to Atom feed of posts
Two posts tagged ‘type-level’
2021
Solving Advent of Code “Handy Haversacks” in Type-level Haskell
Jan 4 2021
programming
type-level
haskell
16 min
0
2 🗣️
3 ❤️
1 🔁
2020
Notes for ‘Thinking with Types: Type-level Programming in Haskell’, Chapters 1–5
Mar 18 2020
programming
notes
type-level
haskell
16 min
5
4 🗣️
16 ❤️
9 🔁