README.md - abc-machine - Clean port of the original (Koopman 1990) ABC machine specification and reference implementation in Miranda

about summary refs log tree commit diff

path: root/README.md

blob: 546fd9a2d89b8a1e6e2dfe870ffd660854edd83f (plain) (blame)

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