summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
ad05798)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Exception: Failure "bye".
-->
Exception: Failure "bye".
-->
-Here's an example wrapping List around Maybe, and vice versa:
+Here's an example wrapping Maybe around List, and vice versa:
# module LM = List_monad.T(Maybe_monad);;
# module ML = Maybe_monad.T(List_monad);;
# module LM = List_monad.T(Maybe_monad);;
# module ML = Maybe_monad.T(List_monad);;