Notes and Exercises for Thinking with Types, Type-Level Programming in Haskell by Sandy Maguire
Primary LanguageHaskell