Geeks
Z-snails
/
Idris2-Grin
GRIN backend for Idris2
Primary Language
Idris
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
Idris2-Grin GitHub
Markdown
Readme
1
Issue
33
Stargazers
6
Watchers
Issues
Closed issue
Discussion about the GRIN optimizer
#1 opened
4 years ago
by
csabahruska
5