search

nikita-volkov / refined

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

add `Generic1` instance to `IdPred` #35

Closed chessai closed 5 years ago

chessai commented 5 years ago

i don't know why i opened this issue, it doesn't make any sense.