combine EALam and EALamHole
Closed this issue · 0 comments
cyrus- commented
in the 1/30 version of the notes, I realized that we didn't need both of these rules -- they could be combined into one rule using the matched arrow type judgement. forgot to mention this in slack earlier, but see notes for the new combined rule.