Geeks
farrellm
/
idris-quickcheck-fork
A port of QuickCheck to Idris
Primary Language
Idris
idris-quickcheck-fork GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
idris-quickcheck
A port of QuickCheck to Idris