search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
62 stars 15 forks source link

rename forall to forall_ in haddock #80

Open jwaldmann opened 7 months ago

jwaldmann commented 7 months ago

this needs to be renamed as well: "see implementations of exists and forall."

https://hackage.haskell.org/package/ersatz-0.5/docs/Ersatz-Variable.html