« Previous | Next » 

Revision a1da8a50

IDa1da8a503baf59ca4dc1a8074db08c1c97e125ce

Added by Klaus Aehlig about 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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences