LICENSE
README.md
package.json
src/
Analysis/
Demandedness.curry
Deterministic.curry
Files.curry
Groundness.curry
HigherOrder.curry
Indeterministic.curry
Logging.curry
ProgInfo.curry
RequiredValue.curry
RequiredValues.curry
Residuation.curry
RightLinearity.curry
RootReplaced.curry
SensibleTypes.curry
SolutionCompleteness.curry
Termination.curry
TotallyDefined.curry
TypeUsage.curry
Types.curry
UnsafeModule.curry