User:GarveyPatrickD/HoPL: Difference between revisions
m
→000x: Universal -> UNIVersal
(→000x: Added additional information) |
m (→000x: Universal -> UNIVersal) |
||
Line 9:
*[https://HoPL.info/showlanguage.prx?exp=2 (ID:2/)] Internal error
*[https://HoPL.info/showlanguage.prx?exp=3 (ID:3/pla010)] [[Plankalkul]] - Algebraic compiler for Z3
*[https://HoPL.info/showlanguage.prx?exp=4 (ID:4/a::001)] [[A-0]] - Compiler for UNIVAC 1 (
*[https://HoPL.info/showlanguage.prx?exp=5 (ID:5/aut007)] [[AUTOCODE]] - Symbolic assembly programming language for Manchester Mark 1
*[https://HoPL.info/showlanguage.prx?exp=6 (ID:6/lan006)] [[Laning and Zierler]] - Algebraic Interpreter
| |||