Geeks
ebresafegaga
/
oii
No really, Ocaml is Idris
Primary Language
OCaml
MIT License
MIT
oii GitHub
Markdown
Readme
0
Issues
5
Stargazers
1
Watcher
Stargazers
avestura
Sagittarius A*, Milky Way
hyphenrf
Egypt
jmanuel1
Imagine Learning
muqiuhan
The X-Files Research Institute
Tim-ats-d
@Psi-Prod