CHECK IN COMRADES A NEW "LITTLE" BOOK IS OUT https://mitpress.mit.edu/books/little-typer …
-
-
Oooh! So Little Schemer is cute, but I feel like you have enough of the FP grounding that it'd mostly be repetition until the last chapter, where the do the Lisp Self-Interpreter thing. I'd probably rec Seasoned Schemer and Reasoned Schemer (logic) hardest
-
Prover was fun, I should give it another look. Felt a hair too removed from being able to apply it
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.