Tuula rated Thinking with Types. Type-Level Programming in Haskell: 3 stars Feb. 20, 2021 Public Sandy Maguire: Thinking with Types. Type-Level Programming in Haskell (2018)Thinking with Types. Type-Level Programming in Haskell by Sandy Maguire
