3 ms·
This looks like the beginning of a good suggestion: "The book that I really, really want: Lisp in Small Pieces, but for type theory" https://twitter.com/d_chr
by delish 11y ago
This looks like the beginning of a good suggestion:
"The book that I really, really want: Lisp in Small Pieces, but for type theory"
https://twitter.com/d_christiansen/status/573767527081316354 https://twitter.com/d_christiansen/status/573767527081316354
I want that book too.
- dmytrish 11y agoDoesn't "Types and Programming Language" by B. Pierce fits this description? I did not read LiSP, though.