Hacker News new | ask | show | jobs
Notes for 'Thinking with Types: Type-Level Programming in Haskell', Chapters 1–5 (abhinavsarkar.net)
2 points by abhin4v 2286 days ago