REPL for the lambda calculus
-
Updated
Apr 10, 2024 - Python
REPL for the lambda calculus
Virtual machines for the AMN instructions sets
REPLICA: REPL Instrumentation for Coq Analysis
Add a description, image, and links to the read-eval-print-loop topic page so that developers can more easily learn about it.
To associate your repository with the read-eval-print-loop topic, visit your repo's landing page and select "manage topics."