https://github.com/sgillespie/lambda-calculus
An introduction to the Lambda Calculus
https://github.com/sgillespie/lambda-calculus
lambda-calculus system-f
Last synced: 2 months ago
JSON representation
An introduction to the Lambda Calculus
- Host: GitHub
- URL: https://github.com/sgillespie/lambda-calculus
- Owner: sgillespie
- License: mit
- Created: 2016-07-15T16:08:41.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2022-06-14T02:04:36.000Z (over 3 years ago)
- Last Synced: 2025-10-24T17:46:58.867Z (3 months ago)
- Topics: lambda-calculus, system-f
- Size: 146 KB
- Stars: 94
- Watchers: 2
- Forks: 15
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Lambda Calculus
> An introduction to the Lambda Calculus
Lambda Calculus is a tiny functional language for expressing computation based
on function abstraction and application.
This project is intended to be an educational resource for learning and
implementing functional programming languages.
**Looking for Lambda Calculator?** It's been moved to [sgillespie/lambda-calculator](https://github.com/sgillespie/lambda-calculator)
## Introduction to Lambda Calculus
Introductory material is provided. They can be found at
* [doc/lambda-calculus.md](doc/lambda-calculus.md)
* [doc/system-f.md](doc/system-f.md)
### Extended Examples
More examples can be found in the Lambda Calculator's test-suite, located at
[test/Language/Lambda/Untyped/Examples](https://github.com/sgillespie/lambda-calculator/tree/master/test/Language/Lambda/Untyped/Examples)
## Implementation
A simple implementation of lambda calculus is available at https://github.com/sgillespie/lambda-calculator.
It is intended be used as a companion to the materials here.
## Author
**Sean Gillespie** [sean@mistersg.net](mailto:sean@mistersg.net)
## License
This project is licensed under the MIT License. See [LICENSE](LICENSE)