A Clean port of the ABC machine specification and reference implementation in Miranda by Pieter Koopman (Functional Programs as Executable Specifications, Koopman 1990, Krips Repro Meppel).
ajnsit / abcmachine Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dvanarkel/abcmachine