Some of the Little Schemer books you could do in 2-3days There's a new one coming out on Dependent Types https://mitpress.mit.edu/books/little-typer https://mi

Some of the Little Schemer books you could do in 2-3days There's a new one coming out on Dependent Types https://mitpress.mit.edu/books/little-typer https://mitpress.mit.edu/books/little-typer