https://github.com/timjs/bee-lang
Formalisation of the Bee Programming Language
https://github.com/timjs/bee-lang
Last synced: 3 months ago
JSON representation
Formalisation of the Bee Programming Language
- Host: GitHub
- URL: https://github.com/timjs/bee-lang
- Owner: timjs
- Created: 2024-12-06T16:57:56.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-01-30T16:04:17.000Z (over 1 year ago)
- Last Synced: 2025-01-30T17:20:47.705Z (over 1 year ago)
- Language: Agda
- Size: 64.5 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: