dune « lib « compiler « xacml-proofs - rego-proofs.git - Lean proofs for my Master's thesis

about summary refs log tree commit diff

path: root/xacml-proofs/compiler/lib/dune

blob: 15b8510db66d733ce30f84a1319877e407f31cee (plain)

1 2	`(library (name compiler))`

© 2015 - 2026 Jakob L. Kreuze