Directory listing for speculate-0.4.18 candidate source tarball
speculate-0.4.18/
- .gitignore
- LICENSE
- Makefile
- README.md
- Setup.hs
- TODO.md
- changelog.md
- speculate.cabal
- stack.yaml
- .github/
- bench/
- arith-c
- arith-c.txt
- arith-t
- arith-t.txt
- arithficial.hs
- arithficial.txt
- bool-c
- bool-c.txt
- list-c
- list-c.txt
- list-t
- list-t.txt
- lowtests.hs
- lowtests.txt
- minus-c
- minus-c.txt
- nord.hs
- nord.txt
- stats.hs
- stats.txt
- trilean.hs
- trilean.txt
- unit.hs
- unit.txt
- versions
- runtime/
- lapmatrud/
- versions
- bench/
- eg/
- arith-negate-abs.runtime
- arith.runtime
- binarytree.runtime
- binarytree0.runtime
- bool.runtime
- colour.runtime
- digraphs.runtime
- fun.runtime
- insertsort.runtime
- insertsort0.runtime
- length.runtime
- list.runtime
- minus.runtime
- monad.runtime
- oddeven.runtime
- plus-abs.runtime
- ratio.runtime
- sets.runtime
- speculate-reason.runtime
- string.runtime
- tauts.runtime
- tuples.runtime
- zip.runtime
- zero/
- versions
- bench/
- eg/
- arith-negate-abs.runtime
- arith.runtime
- binarytree.runtime
- binarytree0.runtime
- bool.runtime
- colour.runtime
- digraphs.runtime
- fun.runtime
- insertsort.runtime
- insertsort0.runtime
- length.runtime
- list.runtime
- minus.runtime
- monad.runtime
- oddeven.runtime
- plus-abs.runtime
- ratio.runtime
- sets.runtime
- speculate-reason.runtime
- string.runtime
- tauts.runtime
- tuples.runtime
- zip.runtime
- lapmatrud/
- bin/
- doc/
- 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
- mk/
- src/
- test/
