https://github.com/dedbox/reason-bdcalc
A bidirectionally typed lambda calculus with "if" expressions
https://github.com/dedbox/reason-bdcalc
Last synced: 4 months ago
JSON representation
A bidirectionally typed lambda calculus with "if" expressions
- Host: GitHub
- URL: https://github.com/dedbox/reason-bdcalc
- Owner: dedbox
- Created: 2020-04-08T18:08:07.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-04-10T19:53:32.000Z (about 6 years ago)
- Last Synced: 2025-06-09T09:41:58.707Z (about 1 year ago)
- Language: Reason
- Homepage:
- Size: 7.81 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: