nikita-volkov / refined

Refinement types with static checking
http://hackage.haskell.org/package/refined
MIT License
182 stars 31 forks source link

`weakenOrLeft`, `weakenOrRight`: Fix type signature #109

Open JackKelly-Bellroy opened 2 months ago

JackKelly-Bellroy commented 2 months ago

The version in the previous release used And instead of Or.