nikita-volkov / refined

Refinement types with static checking

http://hackage.haskell.org/package/refined

MIT License

183 stars 31 forks source link

widen bounds for LTS 15 #51

Closed symbiont-sam-halliday closed 4 years ago

symbiont-sam-halliday commented 4 years ago

50

chessai commented 4 years ago

Thanks!