issues
search
nikita-volkov
/
refined
Refinement types with static checking
http://hackage.haskell.org/package/refined
MIT License
182
stars
31
forks
source link
Update nix
#28
Closed
chessai
closed
5 years ago