Revision a1da8a50
ID | a1da8a503baf59ca4dc1a8074db08c1c97e125ce |
Add a function to leave the list monad
The list monad provides convenient syntax for non-deterministic
algorithms. Add a function leaving that monad with this intuition
in mind.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted