summaryrefslogtreecommitdiff
path: root/sec/reducer.ltx
diff options
context:
space:
mode:
authorChloe Brown <chloe.brown.00@outlook.com>2025-05-02 17:46:36 +0100
committerChloe Brown <chloe.brown.00@outlook.com>2025-05-02 17:46:36 +0100
commitc08f9eb38654f81f0fc8ae49013896544aaffec2 (patch)
tree4f34001ae5d2e41586242deecb08651ac7505c2c /sec/reducer.ltx
parent90f9bed6e784c8d9abb7f10a46c6b3777606c1dc (diff)
Give the encoding of `match`.
Diffstat (limited to 'sec/reducer.ltx')
0 files changed, 0 insertions, 0 deletions