Giters
Z-snails
/
Idris2-Grin
GRIN backend for Idris2
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
31
Watchers:
6
Issues:
1
Forks:
2
Z-snails/Idris2-Grin Watchers
G. Allais
gallais
Luc Tielen
luc-tielen
Martin Mauch
nightscape
Kamil Shakirov
ska80
Stefan Höck
stefan-hoeck
Zoe Stafford
Z-snails