GitHub - Romelai28/lambda-secd: This is a small project that compiles Lambda Calculus terms into SECD machine code and executes them using a SECD machine interpreter.

Lambda Calculus Compiler & SECD Machine Interpreter

This is a small project that compiles Lambda Calculus terms into SECD machine code and executes them using a SECD machine interpreter.

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
app		app
src		src
test		test
.gitignore		.gitignore
README.md		README.md
cabal.project.local		cabal.project.local
lambda-secd.cabal		lambda-secd.cabal