Directory listing for Hoed-0.5.0 candidate source tarball
Hoed-0.5.0/
- Hoed.cabal
- LICENSE
- README.md
- Setup.hs
- changelog
- configure.Demo
- configure.Generic
- configure.Profiling
- configure.Prop
- configure.Pure
- run
- test.Generic
- test.Pure
- Data/
- Debug/
- Text/
- examples/
- tests/
- Pure/
- TH/
- ref/
- hoed-tests-Prop-t0.graph
- hoed-tests-Prop-t1.graph
- hoed-tests-Prop-t2.graph
- hoed-tests-Prop-t3.graph
- hoed-tests-Prop-t4.graph
- hoed-tests-Prop-t5.graph
- hoed-tests-Pure-t1.graph
- hoed-tests-Pure-t2.graph
- hoed-tests-Pure-t3.graph
- hoed-tests-Pure-t4.graph
- hoed-tests-Pure-t5.graph
- hoed-tests-Pure-t6.graph
- hoed-tests-Pure-t7.graph
- hoed-tests-Stk-DoublingServer.graph
- hoed-tests-Stk-Example1.graph
- hoed-tests-Stk-Example3.graph
- hoed-tests-Stk-Example4.graph
- hoed-tests-Stk-IndirectRecursion.graph
- hoed-tests-Stk-Insort2.graph
- hoed-tests-th-quicksort.graph