issues
search
nikita-volkov
/
refined
Refinement types with static checking
http://hackage.haskell.org/package/refined
MIT License
182
stars
31
forks
source link
Change validate to take a Proxy (resolves #56)
#67
Closed
chessai
closed
4 years ago