# 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](https://camilstaps.nl/clean.html#abc) or ask somebody what
would be a good approach.

[Clean code generator]: https://gitlab.science.ru.nl/clean-compiler-and-rts/code-generator