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

Directory listing for Hoed-0.3.2 source tarball

Hoed-0.3.2/

• Hoed.cabal
• LICENSE
• README.md
• Setup.hs
• changelog
• configure.Demo
• configure.Generic
• configure.Profiling
• configure.Prop
• configure.Pure
• configure.Stk
• run
• test.Generic
• test.Pure
• test.Stk
• Debug/
  • Hoed/
    • Pure.hs
    • Stk.hs
    • Pure/
      • CompTree.hs
      • DemoGUI.hs
      • EventForest.hs
      • Observe.lhs
      • Prop.hs
      • Render.hs
    • Stk/
      • DemoGUI.hs
      • Observe.lhs
      • Render.hs
• examples/
  • Insertion_Sort_elements_disappear.hs
  • Parity.hs
  • SimpleHO.hs
  • CNF_unsound_demorgan__with_properties/
    • Main.hs
  • Digraph_not_data_invariant__with_properties/
    • Main.hs
  • ExpressionSimplifier/
    • Main1.hs
    • Main2.hs
  • FPretty/
    • Main.hs
  • FPretty__CC/
    • Main.hs
  • XMonad_changing_focus_duplicates_windows/
    • Main.hs
  • XMonad_changing_focus_duplicates_windows__CC/
    • Main.hs
  • XMonad_changing_focus_duplicates_windows__using_properties/
    • Main.hs
  • afp02Exercises/
    • Compiler/
      • Main.hs
    • Compiler__with_properties/
      • Main.hs
• img/
  • faulty.png
  • hoed-logo.png
  • loading.gif
  • right.png
  • unassessed.png
  • wrong.png
• tests/
  • Generic/
    • r0.hs
    • r1.hs
    • r2.hs
    • r3.hs
    • t0.hs
    • t1.hs
    • t2.hs
    • t3.hs
  • Prop/
    • t0/
      • Main.hs
    • t1/
      • Main.hs
    • t2/
      • Main.hs
    • t3/
      • Main.hs
    • t4/
      • Main.hs
  • Pure/
    • t1.hs
    • t2.hs
    • t3.hs
    • t4.hs
    • t5.hs
    • t6.hs
    • t7.hs
  • Stk/
    • DoublingServer.hs
    • Example1.hs
    • Example3.lhs
    • Example4.hs
    • IndirectRecursion.lhs
    • Insort2.hs