Geeks
Z-snails
/
Idris2jl
Julia backend for Idris 2
Primary Language
Idris
Idris2jl GitHub
Markdown
Readme
0
Issues
4
Stargazers
1
Watcher
Stargazers
ccfontes
Tokyo, Japan
ebigram
HugoDaniel
Amadora
ska80
Bishkek, Kyrgyzstan