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

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/
      • ListProp.curry
      • PROOF-ListProp-appendAddLengths.agda
      • PROOF-SortSpec-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
    • CC/
      • Options.curry

Generated by cpm-manage at May 9 06:43:39 2025