rego-proofs.git/rego-proofs/compiler.scm, branch master

rego-proofs.git/rego-proofs/compiler.scm, branch master Lean proofs for my Master's thesis https://www.git.jakob.space/rego-proofs.git/atom?h=master 2023-12-21T18:38:41Z Get rid of old compiler code 2023-12-21T18:38:41Z Jakob L. Kreuze 2023-12-21T18:38:41Z urn:sha1:4ef90bd4f04a9df089c31f6eb44f5cb3c2680c49 Prepare to replay XACML repository on top of this one 2023-09-12T22:42:25Z Jakob L. Kreuze 2023-09-12T22:42:25Z urn:sha1:91fdd70c074413b7cbd65bf622cc6937440eaf80