aboutsummaryrefslogtreecommitdiff
path: root/rego-proofs/compiler/test/dune
blob: ea3bc5f0d6c406c880713f809053f1361c907365 (plain) 
1
2
3

(test
 (name compiler)
 (libraries alcotest compiler core))

© 2015 - 2026 Jakob L. Kreuze