Commit 797174ed authored by Nicola Botta's avatar Nicola Botta
Browse files

Corrected error introduced be previous commit.

parent ffaa852e
...@@ -156,7 +156,7 @@ The same approach can be followed for implementing bind, another monad ...@@ -156,7 +156,7 @@ The same approach can be followed for implementing bind, another monad
combinator similar to Kleisli composition: combinator similar to Kleisli composition:
> (>>=) : {A, B : Type} -> {M : Type -> Type} -> ThinVeriMonad M => M A -> (A -> M B) -> M B > (>>=) : {A, B : Type} -> {M : Type -> Type} -> ThinVeriMonad M => M A -> (A -> M B) -> M B
> ma >>= f = join (map f ma) > ma >>= f = join (map f ma)
Starting from a \emph{thin} monad ADT as in the example above and Starting from a \emph{thin} monad ADT as in the example above and
adding monadic operators that fulfil a specification adding monadic operators that fulfil a specification
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment