search

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
MIT License
49 stars 9 forks source link

Clean up code to match terminology in paper #92

Open tlringer opened 3 years ago

tlringer commented 3 years ago

Should make it easier to understand in that light, and should help with clarifying things we already do that reviewers asked about