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