karroffel / Idris2-Ocaml

OCaml backend for Idris2
19Updated 4 years ago

Related projects

Alternatives and complementary repositories for Idris2-Ocaml