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

Regression bug in simplifying projections of existentials #84

Closed tlringer closed 3 years ago

tlringer commented 3 years ago

This sucks and needs fixing