No description or website provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.

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