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

about summary refs log tree commit diff

path: root/rego-proofs/compiler-rewrite/lib/dune

blob: b97e695305492f0227eeb7f2d72600d3902291ab (plain)

1 2	`(library (name compiler_rewrite))`

© 2015 - 2026 Jakob L. Kreuze