Description
Stepwise monad: stepwise computations, providing resolution of non-deterministic choice, breadth-first search strategies and online results.
Description
Stepwise monad: stepwise computations, providing resolution of non-deterministic choice, breadth-first search strategies and online results.