summaryrefslogtreecommitdiff
path: root/rules
Commit message (Expand)AuthorAge
* Rules: small fixesTom Smeding7 days
* Update rules.texTom Smeding8 days
* rules: Attempt at merge/accum parameterised transformationevmTom Smeding2024-08-29
* Type up some of the rules in LaTeXTom Smeding2024-08-29