Information Processing Language: Difference between revisions

Content deleted Content added
m refine cat
added influence on LISP link References
Line 90:
* [http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Information+Processing+Language Information Processing Language], [[Free On-line Dictionary of Computing|FOLDOC]]
* [http://bitsavers.org/pdf/rand/ipl/] IPL documents from BitSavers.
* [http://www-formal.stanford.edu/jmc/history/lisp/node2.html] influence of IPL on LISP.
 
==See also==
* [[Metamath]], a project using computer-verified proofs.