Name
Last commit
Last update
..
listcomp Loading commit data...
modules Loading commit data...
README Loading commit data...
TESTRESULT.txt Loading commit data...
account.curry Loading commit data...
assembler.curry Loading commit data...
benchmark.curry Loading commit data...
best.curry Loading commit data...
casetest.curry Loading commit data...
colormap.curry Loading commit data...
colormap_nd.curry Loading commit data...
diamond.curry Loading commit data...
digit.curry Loading commit data...
escher_cond.curry Loading commit data...
escher_higher.curry Loading commit data...
escher_perm.curry Loading commit data...
exchange.curry Loading commit data...
family_con.curry Loading commit data...
family_fun.curry Loading commit data...
family_nd.curry Loading commit data...
family_rel.curry Loading commit data...
first.curry Loading commit data...
higher.curry Loading commit data...
horseman.curry Loading commit data...
index.html Loading commit data...
inflists.curry Loading commit data...
infresiduate.curry Loading commit data...
last.curry Loading commit data...
maxtree.curry Loading commit data...
member.curry Loading commit data...
mergesort.curry Loading commit data...
mergesort_or.curry Loading commit data...
nats.curry Loading commit data...
nondetfunc.curry Loading commit data...
optmatch.curry Loading commit data...
prolog.curry Loading commit data...
qsortlet.curry Loading commit data...
quicksort.curry Loading commit data...
ralign.curry Loading commit data...
rectype.curry Loading commit data...
relational.curry Loading commit data...
rev.curry Loading commit data...
rigidadd.curry Loading commit data...
rigidor.curry Loading commit data...
tctest.curry Loading commit data...
test.sh Loading commit data...