/dc-machine

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

Primary LanguageOCaml

This repository is not active