Thinking with Types

haskell, announcement, book

After five months of work, I'm happy to announce that it's done.

Thinking with Types

REASONABLY POLYMORPHIC
ARCHIVES