https://github.com/z-snails/idris2-grin
GRIN backend for Idris2
https://github.com/z-snails/idris2-grin
grin idris2
Last synced: 3 months ago
JSON representation
GRIN backend for Idris2
- Host: GitHub
- URL: https://github.com/z-snails/idris2-grin
- Owner: Z-snails
- License: bsd-3-clause
- Created: 2021-02-26T10:14:41.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2022-07-03T17:06:52.000Z (almost 3 years ago)
- Last Synced: 2025-02-01T07:32:03.448Z (5 months ago)
- Topics: grin, idris2
- Language: Idris
- Homepage:
- Size: 213 KB
- Stars: 33
- Watchers: 6
- Forks: 3
- Open Issues: 0