Giters
ioanluca
/
real-world-idris
Malfunction backend for Idris with a FFI to OCaml
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
28
Watchers:
7
Issues:
0
Forks:
2
ioanluca/real-world-idris Watchers
Bob Atkey
bobatkey
Eduard Voinea
edvoinea
elfi
Ioan Luca
ioanluca
James Cloos
jhcloos
Kamil Shakirov
ska80
timothy
timothyklim