Geeks
karroffel
/
Idris2-Ocaml
OCaml backend for Idris2
Primary Language
Idris
Other
NOASSERTION
Idris2-Ocaml GitHub
Markdown
Readme
0
Issues
19
Stargazers
5
Watchers
No issues in this repository yet.