https://github.com/evincarofautumn/lll
A Linear-Logical Language (working title)
https://github.com/evincarofautumn/lll
Last synced: 6 months ago
JSON representation
A Linear-Logical Language (working title)
- Host: GitHub
- URL: https://github.com/evincarofautumn/lll
- Owner: evincarofautumn
- License: other
- Created: 2019-09-16T03:38:31.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2019-09-16T03:39:46.000Z (about 6 years ago)
- Last Synced: 2025-03-27T01:23:13.617Z (7 months ago)
- Language: Haskell
- Size: 12.7 KB
- Stars: 5
- Watchers: 4
- Forks: 0
- Open Issues: 4