GitHub - mamoniot/lambda_calc: My lamdba calculus engine, completed in C++. Built with absolutely zero dependencies beyond the c runtime.

mamoniot / lambda_calc Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

My lamdba calculus engine, completed in C++. Built with absolutely zero dependencies beyond the c runtime.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
LICENSE		LICENSE
README.txt		README.txt
basic.h		basic.h
demo.lc		demo.lc
lambda.cc		lambda.cc
parser.hh		parser.hh
test.lc		test.lc
test2.lc		test2.lc
test3.lc		test3.lc
test4.lc		test4.lc
types.hh		types.hh

Repository files navigation

My lamdba calculus engine, completed in C++. Compile the file lambda.cc to try it out.

The compiled exe has the command line format "<exe> [flags] <filename>"
The program has flags, use the flag "-help" to see them all.

The files ending in .lc contain demos and test programs for this engine.
They have comments too, particularly the file demo.lc.