Geeks
Z-snails
/
Idris2jl
Julia backend for Idris 2
Primary Language
Idris
Idris2jl GitHub
Markdown
Readme
0
Issues
4
Stargazers
1
Watcher
No issues in this repository yet.