programming-with-types. Notes and experiments from the book Programming with Types.

github.com/imteekay/programming-with-types

Problem

Audience

Updates

No founder updates yet. Check back soon.