https://github.com/jackfirth/lambda-calculus
A racket language for lambda calculus
https://github.com/jackfirth/lambda-calculus
functional-programming lambda-calculus language racket
Last synced: about 2 months ago
JSON representation
A racket language for lambda calculus
- Host: GitHub
- URL: https://github.com/jackfirth/lambda-calculus
- Owner: jackfirth
- License: apache-2.0
- Created: 2020-01-04T03:33:43.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2021-09-28T20:18:06.000Z (over 4 years ago)
- Last Synced: 2025-10-11T20:49:32.756Z (5 months ago)
- Topics: functional-programming, lambda-calculus, language, racket
- Language: Racket
- Homepage:
- Size: 10.7 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# lambda-calculus [![CI Status][ci-status-badge]][ci-status]
A racket `#lang` for lambda calculus.
[ci-status]: https://github.com/jackfirth/lambda-calculus/actions
[ci-status-badge]: https://github.com/jackfirth/lambda-calculus/workflows/CI/badge.svg
[docs]: https://docs.racket-lang.org/lambda-calculus/index.html
[docs-badge]: https://img.shields.io/badge/docs-published-blue.svg