agda / agda-ocaml

OCaml backend for Agda
39Updated 6 years ago

Related projects

Alternatives and complementary repositories for agda-ocaml