Fix Logic.Implicit.on haddock format

matt-noonan / gdp

Ghosts of Departed Proofs

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

60 stars 11 forks source link

Closed wbadart closed 4 years ago

wbadart commented 4 years ago

Hey team- just noticed a missing @ in the haddock string for Logic.Implicit.on, leading to some wonky formatting in the online docs.

matt-noonan commented 4 years ago

Thanks, Will!