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
Watchers
gallais
Glasgow, Scotland
luc-tielen
Lambda Tech
nightscape
@xencura
ska80
Bishkek, Kyrgyzstan
stefan-hoeck
Z-snails