summaryrefslogtreecommitdiff
path: root/sec/intro.ltx
diff options
context:
space:
mode:
authorChloe Brown <chloe.brown.00@outlook.com>2025-06-12 16:46:26 +0100
committerChloe Brown <chloe.brown.00@outlook.com>2025-06-12 16:46:26 +0100
commitc91d233093b085ffef22905bf9599d519da8d084 (patch)
tree163b7be0114d3ea86e161304b6fc49e469763655 /sec/intro.ltx
parent85905c93f74238b056f4b0ee0864782947ae02a6 (diff)
Give bidirectional typing rules.
Diffstat (limited to 'sec/intro.ltx')
0 files changed, 0 insertions, 0 deletions