|
N.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
args.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
arity.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
equals.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
equals_bak.apla
|
2022-01-16
|
Raoul Schorer
|
[c747c5]
state reset for debugging
|
|
equate.aplf
|
2022-01-18
|
Raoul Schorer
|
[50d132]
control flow seems correct now
|
|
equateargs.aplf
|
2022-01-16
|
Raoul Schorer
|
[873fb9]
almost correct, must be a wrong branch somewher...
|
|
false.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
identify.aplf
|
2022-01-18
|
Raoul Schorer
|
[50d132]
control flow seems correct now
|
|
nice_table.aplf
|
2022-01-16
|
Raoul Schorer
|
[c747c5]
state reset for debugging
|
|
occur.aplf
|
2022-01-16
|
Raoul Schorer
|
[873fb9]
almost correct, must be a wrong branch somewher...
|
|
occurinargs.aplf
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
part.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
reset.aplf
|
2022-01-16
|
Raoul Schorer
|
[873fb9]
almost correct, must be a wrong branch somewher...
|
|
subst.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
subst_bak.apla
|
2022-01-16
|
Raoul Schorer
|
[c747c5]
state reset for debugging
|
|
symbol.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
table.aplf
|
2022-01-16
|
Raoul Schorer
|
[c747c5]
state reset for debugging
|
|
term.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
term_bak.apla
|
2022-01-16
|
Raoul Schorer
|
[c747c5]
state reset for debugging
|
|
true.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
|
unify.aplf
|
2022-01-16
|
Raoul Schorer
|
[873fb9]
almost correct, must be a wrong branch somewher...
|
|
vble.apla
|
2022-01-16
|
Raoul Schorer
|
[ac4e3b]
TODO: unify equate equateargs
|
