/Idris2-Ocaml

OCaml backend for Idris2

Primary LanguageIdrisOtherNOASSERTION

Stargazers