ccti
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