[Kernfach-devel]more ideas

[Denis L. <dl...@sm...>]

one more idea for kernfach:

I plan all evalutations will be parallel in the first place.
But we will have priorities (lists of integers).
Priorities are strict in the sense that no evaluation
with lesser priority will be advanced if there is
evaluation with higher priority in progress.
Priorities can be changed in runtime.
So with those priorities we can model sequential evaluation
and some form of goto.
I strive for having one construction able to express many
different things.