Results
210
issues of
Cyrus Omar
there are on-paper proofs and we didn't claim to have mechanized these, but for completeness it would be good to do that.
metatheory of instantiation
seems technically simple to add to the cast forms, and might have some benefits as far as debugging cast failures goes, but not sure what the relevant metatheoretic properties that...
head scratchers
bug