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

Contents of cass-3.0.1

  • LICENSE
  • Protocol.txt
  • README.md
  • curryanalysisrc
  • package.json
  • docs/
    • Demand.md
    • Deterministic.md
    • Functional.md
    • Groundness.md
    • HiOrderConstr.md
    • HiOrderFunc.md
    • HiOrderType.md
    • Indeterministic.md
    • NDEffect.md
    • NonDetAllDeps.md
    • NonDetDeps.md
    • NonDetOps.md
    • Overlapping.md
    • PatComplete.md
    • Productive.md
    • README.txt
    • RequiredValue.md
    • RequiredValues.md
    • Residuation.md
    • RightLinear.md
    • RootCyclic.md
    • RootReplaced.md
    • SensibleType.md
    • SiblingCons.md
    • SolComplete.md
    • Terminating.md
    • Total.md
    • TotalFunc.md
    • TypesInValues.md
    • UnsafeModule.md
    • Values.md
    • Values2.md
    • Values5.md
    • main.tex
    • manual.tex
  • examples/
    • NonDetTest.curry
    • ResiduationStats.curry
    • Rev.curry
    • RootReplacedTest.curry
    • UsingCASS.curry
  • src/
    • CASS/
      • Configuration.curry
      • Dependencies.curry
      • Doc.curry
      • FlatCurryDependency.curry
      • Main.curry
      • Options.curry
      • Registry.curry
      • Server.curry
      • ServerFormats.curry
      • ServerFunctions.curry
      • Worker.curry
      • WorkerFunctions.curry

Generated by cpm-manage at May 9 06:42:47 2025