https://github.com/sgillespie/lambda-calculus

An introduction to the Lambda Calculus
https://github.com/sgillespie/lambda-calculus

lambda-calculus system-f

Last synced: 8 days 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 8 years ago)
• Default Branch: master
• Last Pushed: 2022-06-14T02:04:36.000Z (over 2 years ago)
• Last Synced: 2024-08-01T21:53:55.982Z (4 months ago)
• Topics: lambda-calculus, system-f
• Size: 146 KB
• Stars: 88
• Watchers: 4
• 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** [[email protected]](mailto:[email protected])

## License

This project is licensed under the MIT License. See [LICENSE](LICENSE)