Contents of currycheck-1.0.0

README.md
package.json
docs/
- README.txt
- manual.tex
examples/
- DefaultRulesTest.curry
- DetOperations.curry
- ExampleTests.curry
- ExamplesFromManual.curry
- FloatTest.curry
- ListSpecifications.curry
- Nats.curry
- Proof-last-is-deterministic.agda
- SEBF.curry
- SortSpec.curry
- Sum.curry
- Tree.curry
- UsageErrors.curry
- withVerification/
  - ListProp.curry
  - PROOF-appendAddLengths.agda
  - PROOF-sortPreservesLength.agda
  - README
  - SortSpec.curry
src/
- AbstractCurryMatch.curry
- CheckDetUsage.curry
- ContractUsage.curry
- CurryCheck.curry
- DefaultRuleUsage.curry
- FlatCurryMatch.curry
- PropertyUsage.curry
- SimplifyPostConds.curry
- TestAppendix.curry
- TheoremUsage.curry
- UsageCheck.curry