aboutsummaryrefslogtreecommitdiff
path: root/README.md
blob: f3728f3a40cd5323bd0e7da15a4eca397153796c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
# 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