
9 Feb
2008
9 Feb
'08
10:48 a.m.
On Feb 7, 2008 4:58 AM, David Menendez
If you're doing any kind of backtracking or non-determinism, you might consider the msplit operation defined in "Backtracking, Interleaving, and Terminating Monad Transformers" http://okmij.org/ftp/Computation/monads.html#LogicT.
Thanks for pointing me to this very interesting paper! Bas