Fix "ones" Haddock typo for `substitute` in src/Theory/Equality.hs

matt-noonan / gdp

Ghosts of Departed Proofs

BSD 3-Clause "New" or "Revised" License

60 stars 11 forks source link

Closed mattaudesse closed 5 years ago

mattaudesse commented 5 years ago

"Given a formula and an equality over ones of its arguments"

Also, thanks for the awesome GDP paper + library!

matt-noonan commented 5 years ago

Thank you!