nikita-volkov / refined

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

Point users to 'th-lift-instances' instead of Refined.TH. Deprecate Refined.TH #15

Closed chessai closed 6 years ago