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

Adding constructors #86

Open tlringer opened 3 years ago

tlringer commented 3 years ago

There are some simple examples of this, but really test some of these out and improve on them.

tlringer commented 3 years ago

I added the example one of the reviewers asked for, but it's not so much adding as splitting constructors. It was easy. Need more additions