Package rewriting
  • All Packages
  • Categories
  • Recent Uploads
  • Masala
  • Curry Package Manager
  • Curry Homepage

Contents of rewriting-3.0.0

  • CHANGELOG.md
  • LICENSE.md
  • README.md
  • package.json
  • src/
    • Data/
      • Tuple/
        • Extra.curry
    • Rewriting/
      • CriticalPairs.curry
      • DefinitionalTree.curry
      • Files.curry
      • Narrowing.curry
      • Position.curry
      • Rules.curry
      • Strategy.curry
      • Substitution.curry
      • Term.curry
      • Unification.curry
      • UnificationSpec.curry
  • test/
    • Peano.curry
    • RewritingTest.curry

Generated by cpm-manage at Apr 13 09:06:18 2025