Contents of setfunction-synthesis-0.0.1

LICENSE
README.md
package.json
examples/
- Examples.curry
- Xor.curry
src/
- GenConvertST.curry
- GenNF.curry
- GenSetFunction.curry
- LiftCase.curry
- Lookup.curry
- Main.curry
- Options.curry
- Plural.curry
- ST.curry
- State.curry
- StateMonad.curry
- Synthesize.curry
- Totalize.curry
- Translate.curry
- Utilities.curry