3 ms·
In the 80s or early 90s I read a surprisingly deep Logo programming book whose title/authors I forget. Not Turtle Geometry, but similar in coming from MIT Lisp/
by abecedarius 4y ago
In the 80s or early 90s I read a surprisingly deep Logo programming book whose title/authors I forget. Not Turtle Geometry, but similar in coming from MIT Lisp/Scheme/AI people. One of the projects near the end was a kind of basic proof assistant. There was some discussion of OOP. It was written to go with some particular microcomputer Logo system.
Does this ring a bell for anyone? Maayybe this book? https://www.amazon.com/gp/product/0262510693/ https://www.amazon.com/gp/product/0262510693/
(Search engines have become awful for a quirky search like this.)
- xhevahir 4y agoI don't think that's the one. There's no mention of anything like a proof assistant in it.
- pdw 4y agoThat might have been Brian Harvey's _Computer Science Logo Style_. Downloadable here: https://people.eecs.berkeley.edu/~bh/ https://people.eecs.berkeley.edu/~bh/
- abecedarius 4y agoThat looks like a good set of books, but different.