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

Directory listing for term-rewriting-0.1.1 source tarball

term-rewriting-0.1.1/

• LICENSE
• Setup.lhs
• term-rewriting.cabal
• src/
  • Data/
    • Rewriting/
      • Context.hs
      • CriticalPair.hs
      • Pos.hs
      • Problem.hs
      • Rule.hs
      • Rules.hs
      • Substitution.hs
      • Term.hs
      • Utils.hs
      • Context/
        • Ops.hs
        • Type.hs
      • CriticalPair/
        • Ops.hs
        • Type.hs
      • Problem/
        • Parse.hs
        • Pretty.hs
        • Type.hs
      • Rule/
        • Ops.hs
        • Pretty.hs
        • Type.hs
      • Rules/
        • Ops.hs
        • Rewrite.hs
      • Substitution/
        • Match.hs
        • Ops.hs
        • Parse.hs
        • Pretty.hs
        • Type.hs
        • Unify.hs
      • Term/
        • Ops.hs
        • Parse.hs
        • Pretty.hs
        • Type.hs
      • Utils/
        • Parse.hs
• test/
  • Main.hs