diff options
author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-12 16:46:26 +0100 |
---|---|---|
committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-12 16:46:26 +0100 |
commit | c91d233093b085ffef22905bf9599d519da8d084 (patch) | |
tree | 163b7be0114d3ea86e161304b6fc49e469763655 /main.tex | |
parent | 85905c93f74238b056f4b0ee0864782947ae02a6 (diff) |
Give bidirectional typing rules.
Diffstat (limited to 'main.tex')
0 files changed, 0 insertions, 0 deletions