https://github.com/dedbox/reason-action-calculus
https://github.com/dedbox/reason-action-calculus
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/dedbox/reason-action-calculus
- Owner: dedbox
- Created: 2020-04-03T08:56:44.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-04-03T09:03:11.000Z (about 6 years ago)
- Last Synced: 2025-07-19T20:01:38.474Z (11 months ago)
- Language: Reason
- Size: 1000 Bytes
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: