11 Aug
2003
11 Aug
'03
2:50 p.m.
Gustavo Villavicencio wrote:
Hi all,
I am trying to understand the algebraic laws and operators behind a functional expression...
f >>= g \equiv g* . f
in the Kleisli Star context. Is this right?
Yep.
If it is so, can I combine g*.f with a fork for example?
What do you mean by a "fork"? Regards, Frank