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

Directory listing for quickspec-0.9 source tarball

quickspec-0.9/

• LICENSE
• README
• Setup.hs
• quickspec.cabal
• Test/
  • QuickSpec.hs
  • QuickSpec/
    • Approximate.hs
    • Equation.hs
    • Generate.hs
    • Main.hs
    • Prelude.hs
    • Signature.hs
    • Term.hs
    • TestTree.hs
    • Utils.hs
    • Reasoning/
      • CongruenceClosure.hs
      • NaiveEquationalReasoning.hs
      • UnionFind.hs
    • Utils/
      • MemoValuation.hs
      • TypeMap.hs
      • TypeRel.hs
      • Typeable.hs
      • Typed.hs
• examples/
  • Arith.hs
  • Bools.hs
  • Composition.hs
  • Heaps.hs
  • Lists.hs
  • TinyWM.hs