Fix EqLaws_Either proof in base-thy

antalsz / hs-to-coq

Convert Haskell source code to Coq source code

https://hs-to-coq.readthedocs.io

MIT License

279 stars 27 forks source link

Closed sweirich closed 7 years ago

sweirich commented 7 years ago

Broke the proof when I redefined the definition of Eq_ for Either. Not sure how to fix it.

sweirich commented 7 years ago

@antalsz Help!