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

Directory listing for Hoed-0.4.1 source tarball

Hoed-0.4.1/

• Hoed.cabal
• LICENSE
• README.md
• Setup.hs
• changelog
• configure.Demo
• configure.Generic
• configure.Profiling
• configure.Prop
• configure.Pure
• run
• test.Generic
• test.Pure
• Debug/
  • Hoed.hs
  • NoHoed.hs
  • Hoed/
    • CompTree.hs
    • Compat.hs
    • Console.hs
    • EventForest.hs
    • Fields.hs
    • Observe.lhs
    • Prop.hs
    • ReadLine.hs
    • Render.hs
    • Serialize.hs
    • Span.hs
    • TH.hs
• Text/
  • PrettyPrint/
    • FPretty.hs
• examples/
  • Queens__with_properties/
    • Properties.hs
    • Queens.hs
    • Test1.hs
    • Types.hs
• tests/
  • Pure/
    • t1.hs
    • t2.hs
    • t3.hs
    • t4.hs
    • t5.hs
    • t6.hs
    • t7.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