2 ms·
The Little Typer teaches dependent types with a Racket based language called Pig. Do recommend, fun book.
by Buttons840 7y ago
The Little Typer teaches dependent types with a Racket based language called Pig. Do recommend, fun book.
loading thread…