© 2019 Strange Loop
Please join us to help us celebrate the release of The Little Typer. The Little Typer is a different kind of introduction to dependent types written in the style of The Little Schemer.
Galois has graciously provided ten copies of The Little Typer to give away at this party. We hope to see you!
Dan Friedman and David Christiansen