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

Directory listing for Hoed-0.5.1 candidate source tarball

Hoed-0.5.1/tests/

• Pure/
  • t1.hs
  • t2.hs
  • t3.hs
  • t4.hs
  • t5.hs
  • t6.hs
  • t7.hs
• TH/
  • quicksort.hs
• 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