• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for smallcheck-0.6 source tarball

smallcheck-0.6/

• 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