Generalized algorithm for non-ornaments with caching

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

MIT License

49 stars 9 forks source link

Closed tlringer closed 4 years ago

tlringer commented 4 years ago

There's still a lot of work left to do here, but this is the basic version. Creating a draft PR so I can figure out what's left.