/rego-proofs/

• ../
• .deps
• .dir-locals.el
• .gitignore
• Rego
• compiler
• examples
• paper
• run-tests.scm