3 ms·

without scribd http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-inde... how do I rea

without scribd http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-inde... how do I read a book like this? do I copy the code and run scheme? do I translate into my favorite lisp variant? I have been recently looking into Coq which is getting a lot of attention at UPenn http://www.cis.upenn.edu/~bcpierce/sf/current/Basics.html http://www.cis.upenn.edu/~bcpierce/sf/current/Basics.html

daveloyall 12y ago
http://groups.csail.mit.edu/mac/users/gjs/6946/linux-install.htm http://groups.csail.mit.edu/mac/users/gjs/6946/linux-install... I followed the installation instructions exactly and it works fine on my Debian machine. I had to modify the script `/usr/local/bin/mechanics` since I don't have a binary named `xterm` on my path. While I was at it, I made it skip that and just `exec $CMD` as it would do if `$DISPLAY` weren't set. This `edwin` that it comes with is a weird (faithful) emacs clone that runs under mit-scheme. Emacs18, that is. I carefully typed in the first few code examples and they ran flawlessly. There even is some gui tool which pops up a rendering of mathematical expressions.