Contents of verify-non-fail-1.0.0

LICENSE
Makefile
README.md
package.json
src/
- Main.curry
- Main_NONGENERIC.curry
- FlatCurry/
  - NormalizeLet.curry
- Verify/
  - CallTypes.curry
  - Domain.curry
  - Domain_Values.curry
  - Domain_Values2.curry
  - Domain_Values5.curry
  - Files.curry
  - Helpers.curry
  - IOTypes.curry
  - Options.curry
  - Statistics.curry
test/
- ArithDiv.curry
- DataList.curry
- DepthkDomain.curry
- EncapSearch.curry
- Equality.curry
- InfLists.curry
- InferCallTypes.curry
- RESULTEXAMPLES.txt
- RESULTEXAMPLES_VALUES2.txt
- RESULTLIBS.txt
- RESULTLIBS_VALUES2.txt
- Risers.curry
- SetFuns.curry
- Split.curry
- TestSuccess.curry
- test.sh