3 ms·
He does it on top of scheme. Have a look at https://mitpress.mit.edu/books/little-typer https://mitpress.mit.edu/books/little-typer
by rscho 6y ago
He does it on top of scheme. Have a look at
https://mitpress.mit.edu/books/little-typer https://mitpress.mit.edu/books/little-typer