Implementation of the 2007 Krivine machine
-
Updated
Feb 28, 2024 - Agda
Implementation of the 2007 Krivine machine
Add a description, image, and links to the call-cc topic page so that developers can more easily learn about it.
To associate your repository with the call-cc topic, visit your repo's landing page and select "manage topics."