Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for term-rewriting-0.3 candidate source tarball
term-rewriting-0.3/
Changelog
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/
Arbitrary.hs
CriticalPair.hs
Main.hs
Pos.hs
Rule.hs
Samples.hs
Substitution.hs
Term.hs