Contents of ccti-0.0.1

LICENSE
Makefile
README.md
package.json
todo.markdown
examples/
- BST.curry
- Length.curry
- Nat.curry
- Regex.curry
src/
- Bimap.curry
- CCTOptions.curry
- Eval.curry
- FCY2SMTLib.curry
- FCYFunctorInstances.curry
- FlatCurryGoodies.curry
- Heap.curry
- IdentifyCases.curry
- Output.curry
- ReadTFCY.curry
- Search.curry
- Substitution.curry
- Symbolic.curry
- Utils.curry
- ccti.curry
- Data/
  - DList.curry
  - PQ.curry
- Search/
  - CaseMap.curry
  - Queue.curry