Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for smallcheck-0.6.2 source tarball
smallcheck-0.6.2/
CHANGES.md
CREDITS.md
LICENSE
README.md
Setup.hs
smallcheck.cabal
Test/
SmallCheck.hs
SmallCheck/
Drivers.hs
Property.hs
Series.hs
examples/
run-examples.sh
binarytries/
BinaryTries.hs
README
circuits/
BitAdd.hs
Mux.hs
README
Sad.hs
imperative/
Behaviour.hs
Compiler.hs
Interpreter.hs
Machine.hs
Properties.hs
README
StackMap.hs
Syntax.hs
Value.hs
listy/
ListProps.hs
README
logical/
LogicProps.hs
README
numeric/
NumProps.hs
README
regular/
README
Regular.hs