Geeks
raehik
/
rerefined
Refinement types in Haskell, again
Primary Language
Haskell
MIT License
MIT
rerefined GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Stargazers
hughjfchen
ShenZhen,GD,China
velveteer
San Antonio
reo101
Sofia, Bulgaria