https://github.com/mnikander/lambda
Syntax and semantics for a lambda language
https://github.com/mnikander/lambda
Last synced: about 2 months ago
JSON representation
Syntax and semantics for a lambda language
- Host: GitHub
- URL: https://github.com/mnikander/lambda
- Owner: mnikander
- License: mit
- Created: 2025-04-06T07:43:57.000Z (about 2 months ago)
- Default Branch: main
- Last Pushed: 2025-04-06T10:29:36.000Z (about 2 months ago)
- Last Synced: 2025-04-06T10:30:53.512Z (about 2 months ago)
- Size: 1000 Bytes
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0