jao rated The Little Typer: 4 stars
The Little Typer by Daniel P. Friedman, David Thrane Christiansen
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
A program's type describes its …
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
A program's type describes its …