LICENSE
README.txt
package.json
docs/
examples/
Contracts/
DefaultRules/
DeterministicOperations/
IntegratedCode/
IntegratedSQLCode/
src/
Main.curry
CPP/
IntegratedCode/