/dc-machine

a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.

Primary LanguageOCaml

No issues in this repository yet.