karroffel / Idris2-OcamlLinks

OCaml backend for Idris2
19Updated 4 years ago

Alternatives and similar repositories for Idris2-Ocaml

Users that are interested in Idris2-Ocaml are comparing it to the libraries listed below

Sorting: