Archive (Page 3) • Posts by Abhinav Sarkar • Buttondown

Solving Advent of Code “Handy Haversacks” in Type-level Haskell

January 4, 2021

I have been trying to use type-level programming in Haskell to solve interesting problems since I read Thinking with Types by Sandy Maguire. Then I found...