Contents of failfree-0.0.1

LICENSE
README.md
package.json
examples/
- Abs.curry
- Average.curry
- Digit.curry
- Fac.curry
- Fold.curry
- Head.curry
- Last.curry
- Nth.curry
- Peano.curry
- Perm.curry
- ReadCommand.curry
- Scanr.curry
- Sign.curry
- Split.curry
- Unwords.curry
- UserList.curry
- test.sh
include/
- Either_SPEC.curry
- Integer_SPEC.curry
- List_SPEC.curry
- Maybe_SPEC.curry
- Nat_SPEC.curry
- Prelude.smt
- Prelude_SPEC.curry
src/
- BoolExp.curry
- Curry2SMT.curry
- Main.curry
- PatternAnalysis.curry
- ToolOptions.curry
- TypedFlatCurryGoodies.curry
- VerifierState.curry