Directory listing for speculate-0.4.18 candidate source tarball
speculate-0.4.18/eg/
- Digraph.hs
- Regex.hs
- Set.hs
- Taut.hs
- algebraic-graphs.hs
- algebraic-graphs.txt
- arith-negate-abs.hs
- arith-negate-abs.txt
- arith.hs
- arith.txt
- binarytree.hs
- binarytree.txt
- binarytree0.hs
- binarytree0.txt
- bool.hs
- bool.txt
- colour.hs
- colour.txt
- digraphs.hs
- digraphs.txt
- fun.hs
- fun.txt
- insertsort.hs
- insertsort.txt
- insertsort0.hs
- insertsort0.txt
- length.hs
- length.txt
- list.hs
- list.txt
- minus.hs
- minus.txt
- monad.hs
- monad.txt
- oddeven.hs
- oddeven.txt
- plus-abs.hs
- plus-abs.txt
- pretty-compact.hs
- pretty.hs
- pretty.txt
- ratio.hs
- ratio.txt
- regexes.hs
- regexes.txt
- sets.hs
- sets.txt
- speculate-reason.hs
- speculate-reason.txt
- string.hs
- string.txt
- tauts.hs
- tauts.txt
- tuples.hs
- tuples.txt
- zip.hs
- zip.txt