| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-10-17 | Remove infix/unary operators | Jakob L. Kreuze | |
| They're desugared to function calls | |||
| 2023-10-17 | Complete parse_term | Jakob L. Kreuze | |
| No need for membership since it's just sugar for internal.member_2 | |||
| 2023-10-17 | Better support for parsing bodies | Jakob L. Kreuze | |
| 2023-10-15 | Rego compiler: initial commit | Jakob L. Kreuze | |
| 2023-09-12 | Prepare to replay XACML repository on top of this one | Jakob L. Kreuze | |
 |
index : rego-proofs.git | |
| Lean proofs for my Master's thesis | Jakob L. Kreuze |
| aboutsummaryrefslogtreecommitdiff |
path: root/rego-proofs
© 2015 - 2026 Jakob L. Kreuze