1. 22

Author’s introduction:

I’ve been working on a book about type-level programming in Haskell. I’m releasing the first three chapters today in order to gauge interest, as well as get feedback on its style. If this sounds like something that interests you, I’d love to hear from you.Thanks for your time!


  2. 3

    Wow - great description of Yoneda in the context of Haskell at the end!