TomasMikula/libretto

Synchronous implementation

Opened this issue · 0 comments

TomasMikula commented

Support running a Libretto program until quiescence, i.e. until there is no more reduction possible (without external stimulus).

It will be useful in:

  • testing (#9);
  • UIs (for ensuring all synchronous effects of a UI event have been processed before returning control to the low-level UI framework).