search

nikita-volkov / refined

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

remove Refined.These #63

Closed chessai closed 4 years ago

nikita-volkov commented 4 years ago

Been meaning to suggest this :)