https://github.com/alexknauth/gnal-lambda

#lang gnal λ
https://github.com/alexknauth/gnal-lambda

lambda-calculus

Last synced: about 1 month ago
JSON representation

#lang gnal λ

• Host: GitHub
• URL: https://github.com/alexknauth/gnal-lambda
• Owner: AlexKnauth
• License: mit
• Created: 2016-07-27T02:45:50.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-01-07T14:57:10.000Z (almost 3 years ago)
• Last Synced: 2024-10-16T02:55:10.614Z (3 months ago)
• Topics: lambda-calculus
• Language: Racket
• Size: 73.2 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project