Thinking with Types

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

Thinking with Types