diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-21 15:56:15 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-21 15:56:15 +0100 |
| commit | e74fe054b2620fac2bae50ed0533aea5fe710d35 (patch) | |
| tree | ef7ef3cb1702712dfbabc2c0cc945c1f8d0908b9 /sec/lexer.py | |
| parent | da61232ab40eefdd6d8058ce74a65fef01f2ac04 (diff) | |
Give the inductive type of terms.
Diffstat (limited to 'sec/lexer.py')
0 files changed, 0 insertions, 0 deletions