LICENSE
README.md
package.json
testall.sh
docs/
examples/
power4.curry
funpats/
laws/
papers/
External.curry
dsl11.curry
lopstr07.curry
lpar99_ex5.curry
ppdp07.curry
tplp.curry
jflp02/
supercomb/
sharing/
special/
src/
Abstract.curry
Configuration.curry
FlatCurryGoodies.curry
FlatCurryPretty.curry
GetOpt2.curry
Heap.curry
Instance.curry
NDState.curry
NameChange.curry
Normalization.curry
Output.curry
PeLetRW.curry
PeNatural.curry
PeRLNT.curry
PevalBase.curry
PevalOpts.curry
PostUnfold.curry
Renaming.curry
Set.curry
State.curry
Subst.curry
TestDriver.curry
Utils.curry
peval.curry
test/
base/
apply_case.curry
apply_case.spec
blackhole.curry
blackhole.spec
case.curry
case.spec
case_case.curry
case_case.spec
case_failed.curry
case_failed.spec
case_free.curry
case_free.spec
case_or.curry
case_or.spec
case_var.curry
case_var.spec
caserec.curry
caserec.spec
coin.curry
coin.spec
coinpair.curry
coinpair.spec
cons.curry
cons.spec
cons2.curry
cons2.spec
double_case.curry
double_case.spec
double_coin.curry
double_coin.spec
failed.curry
failed.spec
failed_branch1.curry
failed_branch1.spec
failed_branch2.curry
failed_branch2.spec
failed_branch3.curry
failed_branch3.spec
fcase_free.curry
fcase_free.spec
free.curry
free.spec
ifthenelse.curry
ifthenelse.spec
io.curry
io.spec
justcoin.curry
justcoin.spec
let_coin.curry
let_coin.spec
let_sharing.curry
let_sharing.spec
letrec.curry
letrec.spec
letrec.wfo
lit.curry
lit.spec
loop.curry
loop.spec
loop2.curry
loop2.spec
matchCons.curry
matchCons.spec
ones.curry
ones.spec
partial.curry
partial.spec
partial2.curry
partial2.spec
plus.curry
plus.spec
sharefail.curry
sharefail.spec
success.curry
success.spec
typed.curry
typed.spec
var.curry
var.spec
xor_case.curry
xor_case.spec
funpats/
idpair.curry
idpair.spec
lopstr05.curry
lopstr05.spec
treemirror.curry
treemirror.spec
treemirror.wfo
base/
base01.curry
base01.spec
base02.curry
base02.spec
base02.wfo
base03.curry
base03.spec
base04.curry
base04.spec
base05.curry
base05.spec
base06.curry
base06.spec
base07.curry
base07.spec
base07.wfo
base08.curry
base08.spec
base09.curry
base09.spec
base10.curry
base10.spec
base10.wfo
base11.curry
base11.spec
base12.curry
base12.spec
base12.wfo
base13.curry
base13.spec
base13.timeout
base13.wfo
base13.wqo
casevar.curry
casevar.spec
cons.curry
cons.spec
conslit.curry
conslit.spec
consnested.curry
consnested.spec
consnestedvar.curry
consnestedvar.spec
consvar.curry
consvar.spec
free.curry
free.spec
free2.curry
free2.spec
lit.curry
lit.spec
litfree.curry
litfree.spec
nplusk.curry
nplusk.spec
or.curry
or.spec
orvar.curry
orvar.spec
rcasevar.curry
rcasevar.spec
var.curry
var.spec
var2.curry
var2.spec
list/
papers/
External.curry
dsl11.curry
dsl11.spec
dsl11.wfo
dsl11.wqo
lopstr07.curry
lopstr07.spec
lopstr07.wfo
ppdp07.curry
ppdp07.spec
tplp.curry
tplp.spec
lpar99/
supercomp/
wflp/
allones.curry
allones.spec
choose.curry
choose.spec
colormap01.curry
colormap01.spec
colormap01.wfo
colormap02.curry
colormap02.spec
colormap02.wfo
concat.curry
concat.spec
digit.curry
digit.spec
double_app.curry
double_app.spec
double_flip.curry
double_flip.spec
enum.curry
enum.spec
enum.timeout
filtermap.curry
filtermap.spec
headPerm.curry
headPerm.spec
headPerm.wfo
headPerm.wqo
iterate.curry
iterate.spec
iterate.wfo
iterate.wqo
kmp.curry
kmp.spec
kmp.wfo
kmp.wqo
length_app.curry
length_app.spec
sum.curry
sum.spec
sum.timeout
sum.wfo
sum.wqo
sum_square.curry
sum_square.spec
sum_square.timeout
sum_square.wfo
sum_square.wqo
twice_square.curry
twice_square.spec
prelude/
addlast.curry
addlast.spec
append1.curry
append1.spec
append2.curry
append2.spec
append3.curry
append3.spec
append4.curry
append4.spec
const_free.curry
const_free.spec
filter.curry
filter.spec
flip.curry
flip.spec
foldl.curry
foldl.spec
foldl.wfo
foldr.curry
foldr.spec
head.curry
head.spec
id.curry
id.spec
inc.curry
inc.spec
iterate.curry
iterate.spec
map.curry
map.spec
mapSquare.curry
mapSquare.spec
map_const.curry
map_const.spec
map_var.curry
map_var.spec
not.curry
not.spec
notfree.curry
notfree.spec
notnot.curry
notnot.spec
take.curry
take.spec
prim/
header
neq.curry
neq.spec
plus.curry
plus.spec
amp/
choice/
compare/
cond/
cond01.curry
cond01.spec
cond02.curry
cond02.spec
cond03.curry
cond03.spec
cond04.curry
cond04.spec
cond05.curry
cond05.spec
cond06.curry
cond06.spec
cond07.curry
cond07.spec
cond08.curry
cond08.spec
cond09.curry
cond09.spec
cond10.curry
cond10.spec
cond11.curry
cond11.spec
cond12.curry
cond12.spec
cond13.curry
cond13.spec
cond14.curry
cond14.spec
cond15.curry
cond15.spec
cond16.curry
cond16.spec
cond17.curry
cond17.spec
eq/
eq01.curry
eq01.spec
eq02.curry
eq02.spec
eq03.curry
eq03.spec
eq04.curry
eq04.spec
eq05.curry
eq05.spec
eq06.curry
eq06.spec
eq07.curry
eq07.spec
eq08.curry
eq08.spec
eq09.curry
eq09.spec
eq10.curry
eq10.spec
eq11.curry
eq11.spec
eq12.curry
eq12.spec
eq13.curry
eq13.spec
eq14.curry
eq14.spec
eq15.curry
eq15.spec
uni/
uni01.curry
uni01.spec
uni02.curry
uni02.spec
uni03.curry
uni03.spec
uni04.curry
uni04.spec
uni05.curry
uni05.spec
uni06.curry
uni06.spec
uni07.curry
uni07.spec
uni08.curry
uni08.spec
uni09.curry
uni09.spec
uni10.curry
uni10.spec
uni11.curry
uni11.spec
uni12.curry
uni12.spec
uni13.curry
uni13.spec
uni14.curry
uni14.spec
uni15.curry
uni15.spec
uni16.curry
uni16.spec
uni17.curry
uni17.spec
uni18.curry
uni18.spec
uni19.curry
uni19.spec
uni20.curry
uni20.spec
uni21.curry
uni21.spec
uni22.curry
uni22.spec
unknown/
special/
abstraction.curry
abstraction.spec
abstraction.timeout
abstraction.wfo
infiniteBindings.curry
infiniteBindings.spec
infiniteBindings.timeout
noinfo.curry
noinfo.spec
normalization.curry
normalization.spec
notBelowCons.curry
notBelowCons.spec
notcase.curry
notcase.spec
xorSelf.curry
xorSelf.spec
xorSelfCoin.curry
xorSelfCoin.spec
unification/