lib:lazysmallcheck

Modules

• Test.LazySmallCheck

Dependencies

• base lib:base <5

Reverse dependencies

Direct only. Not exhaustive.

• CV lib:CV
• Hoed exe:hoed-examples-Digraph_not_data_invariant__with_properties
• Hoed exe:hoed-tests-Prop-t2
• JYU-Utils lib:JYU-Utils
• Stream lib:Stream
• acme-everything lib:acme-everything
• data-fin lib:data-fin
• minesweeper exe:minesweeper
• peano-inf lib:peano-inf
• rivers lib:rivers
• smartcheck lib:smartcheck
• visual-graphrewrite exe:visual-graphrewrite
• visual-graphrewrite lib:visual-graphrewrite