aboutsummaryrefslogtreecommitdiff
path: root/rego-proofs/compiler-rewrite/bin/dune
blob: 7990455700f708f31ee26cd75d795ee3650368bc (plain) 
1
2
3
4
5

(executable
 (public_name compiler_rewrite)
 (name main)
 (libraries core compiler_rewrite yojson))

© 2015 - 2026 Jakob L. Kreuze