One post tagged ‘notes’

2020

• Notes for ‘Thinking with Types: Type-level Programming in Haskell’, Chapters 1–5
  Mar 18 2020

  • programming
  • notes
  • type-level
  • haskell

  16 min

  • 7
  • 4 🗣️ 16 ❤️ 9 🔁