diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-02 16:00:17 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-02 16:04:51 +0100 |
| commit | 931dae7cc9fe0e38794bb7de1daf149c2da373da (patch) | |
| tree | 03a5243701bd4382bb676521b7194ab621141ab4 /sec/reducer.ltx | |
| parent | 1a2f7ef166828651cfea7d2d4a15579c987a9cc9 (diff) | |
Give the encoding of `cons`.
Diffstat (limited to 'sec/reducer.ltx')
0 files changed, 0 insertions, 0 deletions