├── .gitignore ├── LICENSE ├── README.md └── doc ├── lambda-calculus.md └── system-f.md /.gitignore: -------------------------------------------------------------------------------- 1 | *.el 2 | .stack-work 3 | dist -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sgillespie/lambda-calculus/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sgillespie/lambda-calculus/HEAD/README.md -------------------------------------------------------------------------------- /doc/lambda-calculus.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sgillespie/lambda-calculus/HEAD/doc/lambda-calculus.md -------------------------------------------------------------------------------- /doc/system-f.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sgillespie/lambda-calculus/HEAD/doc/system-f.md --------------------------------------------------------------------------------