search

nikita-volkov / refined

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

More weaken instances #90

Closed JackKelly-Bellroy closed 2 years ago

JackKelly-Bellroy commented 2 years ago

Rebase of #88 , updating @since annotations. Closes #88