chr-curry
LICENSE
README.md
package.json
examples/
Bool.curry
FD.curry
Fib.curry
GCD.curry
Gauss.curry
Leq.curry
Primes.curry
TESTRESULT
UnionFind.curry
test.sh
src/
CHR.curry
CHRcompiled.curry
CHRcompiled.pakcs.pl