michaelsproul/honours-thesis

Add typing rules for LLC and L^3.

Closed this issue · 0 comments

michaelsproul commented

Explanation of how they work, differences.