rego-proofs/compiler/dune-project


1
2
3
4
5
6
7
8
9
10
11
12
13
14

(lang dune 3.11)

(name compiler)

(generate_opam_files true)

(authors "Jakob Kreuze")

(maintainers "Jakob Kreuze")

(package
 (name compiler)
 (synopsis "Compiler from Rego to a Lean shallow embedding")
 (depends ocaml dune))