Contents of failfree-3.0.0

LICENSE
README.md
package.json
examples/
- Abs.curry
- Average.curry
- Digit.curry
- Fac.curry
- Fold.curry
- Head.curry
- Last.curry
- Lookup.curry
- Max.curry
- Nth.curry
- Peano.curry
- Perm.curry
- ReadCommand.curry
- Scanr.curry
- Sign.curry
- Split.curry
- Unwords.curry
- UserIntList.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/
- Curry2SMT.curry
- ESMT.curry
- Main.curry
- ToolOptions.curry
- VerifierState.curry
- FlatCurry/
  - Typed/
    
    Goodies.curry
    
    Names.curry
    
    Read.curry
    
    Simplify.curry
    
    Types.curry