axiomatic-classes

OSX / Linux:

Windows:

Provides a way to specify axioms for type classes and to quickCheck all available instances against them

Name		Name	Last commit message	Last commit date
Latest commit History 81 Commits
Test/QuickCheck		Test/QuickCheck
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
appveyor.yml		appveyor.yml
axiomatic-classes-0.1.0.0.tar.gz		axiomatic-classes-0.1.0.0.tar.gz
axiomatic-classes.cabal		axiomatic-classes.cabal
stack.yaml		stack.yaml

Provide feedback