Contents of currycheck-4.0.0

LICENSE
README.md
package.json
docs/
- README.txt
- main.tex
- manual.tex
examples/
- DefaultRulesTest.curry
- DetOps.curry
- ExampleTests.curry
- ExamplesFromManual.curry
- FloatTest.curry
- HigherOrder.curry
- ListSpecifications.curry
- MPTC.curry
- Nats.curry
- Proof-DetOps-last-is-deterministic.agda
- SEBF.curry
- SortSpec.curry
- Sum.curry
- Tree.curry
- equivalent_operations/
  - BacciEtAl12.curry
  - Fac.curry
  - Intersperse.curry
  - Ints12.curry
  - MultBin.curry
  - MultPeano.curry
  - NDInsert.curry
  - Perm.curry
  - Primes.curry
  - README.md
  - RevRev.curry
  - SelectionSort.curry
  - SortEquiv.curry
  - SortISortEquiv.curry
  - SortPermute.curry
  - Take.curry
  - Unzip.curry
- illegal_programs/
  - Contracts.curry
  - DefaultRules.curry
  - DetOpts.curry
  - NonStrictUniv.curry
  - SetFuns.curry
- withVerification/
include/
- TestAppendix.curry
src/
- CurryCheck.curry
- DefaultRuleUsage.curry
- PropertyUsage.curry
- SimplifyPostConds.curry
- TheoremUsage.curry
- CC/
  - AnalysisHelpers.curry
  - Helpers.curry
  - Options.curry