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