« Previous | Next » 

Revision a1da8a50


Added by Klaus Aehlig over 10 years ago

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 <>
Reviewed-by: Petr Pudlak <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences