term-rewriting 0.1.2 → 0.1.2.1

raw patch · 2 files changed

+4/−3 lines, 2 files

Files

• src/Data/Rewriting/CriticalPair/Ops.hs +2/−2
• term-rewriting.cabal +2/−1

@@ -94,7 +94,7 @@ cpsIn trs1 trs2 = do     rl <- trs1     rr <- trs2-    cpOut rl rr+    cpIn rl rr  -- | Determine outer critical pairs for a pair of TRSs. --@@ -104,7 +104,7 @@ cpsOut trs1 trs2 = do     rl <- trs1     rr <- trs2-    cpIn rl rr+    cpOut rl rr   -- | Determine all critical pairs of a single TRS with itself.

@@ -1,10 +1,11 @@ name:          term-rewriting-version:       0.1.2+version:       0.1.2.1 stability:     experimental author:        Martin Avanzini,                Bertram Felgenhauer,                Christian Sternagel,                Ilya Epifanov+homepage:      http://cl-informatik.uibk.ac.at/software/haskell-rewriting/ maintainer:    haskell-rewriting@informatik.uibk.ac.at license:       MIT license-file:  LICENSE