https://github.com/tibordp/gator-calculus
A game of untyped lambda calculus based on http://worrydream.com/AlligatorEggs/
https://github.com/tibordp/gator-calculus
lambda-calculus
Last synced: 10 months ago
JSON representation
A game of untyped lambda calculus based on http://worrydream.com/AlligatorEggs/
- Host: GitHub
- URL: https://github.com/tibordp/gator-calculus
- Owner: tibordp
- Created: 2015-09-10T17:33:00.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2020-10-03T20:13:34.000Z (over 5 years ago)
- Last Synced: 2025-08-15T01:50:34.762Z (10 months ago)
- Topics: lambda-calculus
- Language: JavaScript
- Homepage: https://tibordp.github.io/gator-calculus
- Size: 1.31 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 1