An abstract machine designed to serve as a compilation target for the -calculus.
Author: Nicholas Coltharp (mail@heraplem.xyz)
Last modified: 2026-10-05 Mon 14:20
Emacs 31.1 (Org mode 9.8.7)
Validate