Information Processing Language: Difference between revisions

Content deleted Content added
No edit summary
Line 91:
* [http://hopl.murdoch.edu.au/showlanguage.prx?exp=13&language=IPL History of Programming Languages: IPL]
* [http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Information+Processing+Language Information Processing Language], [[Free On-line Dictionary of Computing|FOLDOC]]
==See also==
* [[Metamath]], a project using computer-verified proofs.
 
[[Category:Programming languages]]