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 🔁