├── .gitignore ├── Changelog ├── LICENSE ├── README.md ├── Setup.lhs ├── src └── Data │ └── Rewriting │ ├── Context.hs │ ├── Context │ ├── Ops.hs │ └── Type.hs │ ├── CriticalPair.hs │ ├── CriticalPair │ ├── Ops.hs │ └── Type.hs │ ├── Pos.hs │ ├── Problem.hs │ ├── Problem │ ├── Parse.hs │ ├── Pretty.hs │ └── Type.hs │ ├── Rule.hs │ ├── Rule │ ├── Ops.hs │ ├── Pretty.hs │ └── Type.hs │ ├── Rules.hs │ ├── Rules │ ├── Ops.hs │ └── Rewrite.hs │ ├── Signature.hs │ ├── Substitution.hs │ ├── Substitution │ ├── Match.hs │ ├── Ops.hs │ ├── Parse.hs │ ├── Pretty.hs │ ├── Type.hs │ └── Unify.hs │ ├── Term.hs │ ├── Term │ ├── Ops.hs │ ├── Parse.hs │ ├── Pretty.hs │ └── Type.hs │ ├── Utils.hs │ └── Utils │ └── Parse.hs ├── term-rewriting.cabal └── test ├── Arbitrary.hs ├── CriticalPair.hs ├── Main.hs ├── Pos.hs ├── README ├── Rule.hs ├── Samples.hs ├── Substitution.hs └── Term.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/.gitignore -------------------------------------------------------------------------------- /Changelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/Changelog -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/README.md -------------------------------------------------------------------------------- /Setup.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/Setup.lhs -------------------------------------------------------------------------------- /src/Data/Rewriting/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Context.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Context/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Context/Ops.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Context/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Context/Type.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/CriticalPair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/CriticalPair.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/CriticalPair/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/CriticalPair/Ops.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/CriticalPair/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/CriticalPair/Type.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Pos.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Pos.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Problem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Problem.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Problem/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Problem/Parse.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Problem/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Problem/Pretty.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Problem/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Problem/Type.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Rule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Rule.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Rule/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Rule/Ops.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Rule/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Rule/Pretty.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Rule/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Rule/Type.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Rules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Rules.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Rules/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Rules/Ops.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Rules/Rewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Rules/Rewrite.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Signature.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Signature.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Substitution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Substitution.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Substitution/Match.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Substitution/Match.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Substitution/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Substitution/Ops.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Substitution/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Substitution/Parse.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Substitution/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Substitution/Pretty.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Substitution/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Substitution/Type.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Substitution/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Substitution/Unify.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Term.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Term/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Term/Ops.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Term/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Term/Parse.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Term/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Term/Pretty.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Term/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Term/Type.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Utils.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Utils/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/src/Data/Rewriting/Utils/Parse.hs -------------------------------------------------------------------------------- /term-rewriting.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/term-rewriting.cabal -------------------------------------------------------------------------------- /test/Arbitrary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/Arbitrary.hs -------------------------------------------------------------------------------- /test/CriticalPair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/CriticalPair.hs -------------------------------------------------------------------------------- /test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/Main.hs -------------------------------------------------------------------------------- /test/Pos.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/Pos.hs -------------------------------------------------------------------------------- /test/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/README -------------------------------------------------------------------------------- /test/Rule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/Rule.hs -------------------------------------------------------------------------------- /test/Samples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/Samples.hs -------------------------------------------------------------------------------- /test/Substitution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/Substitution.hs -------------------------------------------------------------------------------- /test/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskell-rewriting/term-rewriting/HEAD/test/Term.hs --------------------------------------------------------------------------------