Geeks
ebresafegaga
/
oii
No really, Ocaml is Idris
Primary Language
OCaml
MIT License
MIT
oii GitHub
Markdown
Readme
0
Issues
5
Stargazers
1
Watcher
No issues in this repository yet.