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

Directory listing for quickspec-0.9.1 source tarball

quickspec-0.9.1/

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