rego-proofs.git/rego-proofs, 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 Check-in remaining files 2023-12-21T18:20:58Z Jakob L. Kreuze 2023-12-21T18:20:58Z urn:sha1:be7067d632aa665c20f96d3b344a84c95b0f8ff8 Use fold_and where necessary 2023-11-16T18:46:25Z Jakob L. Kreuze 2023-11-16T18:46:25Z urn:sha1:7a94b432ebb602710bdef9857528b8a29565bd81 Fix compilation of function arguments 2023-11-16T18:33:49Z Jakob L. Kreuze 2023-11-16T18:33:49Z urn:sha1:fc6415da75be975127917da796a2b3407ad2ced7 Compile error condition 2023-11-11T00:58:20Z Jakob L. Kreuze 2023-11-11T00:58:20Z urn:sha1:99e9e7f611988cbe5608db3746aea52c91f7a2ea Handle nested parameters 2023-11-10T19:40:25Z Jakob L. Kreuze 2023-11-10T19:40:25Z urn:sha1:67daeeb1d1eced5b4895051c464e2a2f753a95a6 Handle else keyword 2023-11-10T01:18:26Z Jakob L. Kreuze 2023-11-10T01:18:26Z urn:sha1:7251de48797c1d5370337e71cec90f6efcdc0866 Basic expression simplification 2023-11-08T00:59:07Z Jakob L. Kreuze 2023-11-08T00:59:07Z urn:sha1:740953852ed83cad09ef5ed9d6f0cf1d46c445a8 Fix parsing issue for set rules 2023-11-08T00:41:26Z Jakob L. Kreuze 2023-11-08T00:41:26Z urn:sha1:530d978c90338c80a43b08ac6c5dd683702118bc Compile imports (not really) 2023-11-08T00:26:14Z Jakob L. Kreuze 2023-11-08T00:24:10Z urn:sha1:030605fbfb3fc876a9bf4df9ada6f60abe9e6198