Ioan Luca
Results
1
repositories owned by
Ioan Luca
real-world-idris
28
Stars
2
Forks
Watchers
Malfunction backend for Idris with a FFI to OCaml
