Geeks
mikesperber
/
idris-quickcheck
A port of QuickCheck to Idris
Primary Language
Idris
idris-quickcheck GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
idris-quickcheck
A port of QuickCheck to Idris