Contents of cass-4.0.0

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/
- NonDetEncapsTest.curry
- 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