ABC Machine

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).

If you are looking for a project to generate code to work with the present-day Clean code generator, this is not the right project for you. Have a look at this overview or ask somebody what would be a good approach.