diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-30 17:47:24 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-30 17:47:24 +0100 |
| commit | 9a825491027b8237309fae9e0519a107740e0fa3 (patch) | |
| tree | a07a43e56ac9e80d479c51473fa872697a6cf84a /sec/lang.ltx | |
| parent | 6f254165950514ae2a5b44f6a00c358bf8b66741 (diff) | |
State we encode lists using eliminators.
Diffstat (limited to 'sec/lang.ltx')
0 files changed, 0 insertions, 0 deletions