Contents of currycheck-1.1.0

README.md
package.json
docs/
- README.txt
- main.tex
- manual.tex
examples/
- DefaultRulesTest.curry
- DetOps.curry
- ExampleTests.curry
- ExamplesFromManual.curry
- FloatTest.curry
- ListSpecifications.curry
- Nats.curry
- Proof-DetOps-last-is-deterministic.agda
- SEBF.curry
- SortSpec.curry
- Sum.curry
- Tree.curry
- UsageErrors.curry
- equivalent_operations/
  - Ints12.curry
  - NDInsert.curry
  - README.md
  - RevRev.curry
  - SimpleExample.curry
  - SortEquiv.curry
  - Take.curry
- withVerification/
src/
- AbstractCurryMatch.curry
- CheckDetUsage.curry
- ContractUsage.curry
- CurryCheck.curry
- DefaultRuleUsage.curry
- FlatCurryMatch.curry
- PropertyUsage.curry
- SimplifyPostConds.curry
- TestAppendix.curry
- TheoremUsage.curry
- UsageCheck.curry
- CC/
  - Options.curry