However the user of the program give some argument then program is
starting. And I want to use this arguments for example at the end of the
program. What will I do.
Good question. I've had a bad time with this, some in this list proably got
tired of me saying the same thing over and
Not really a Haskell question, but someone here might know the answer...
Suppose you have two morphisms f : A - B and g : B - A
such that neither (f . g) nor (g . f) is the identity,
but satisfying (f . g . f) = f. Is there a conventional name
for this? Alternately, same question, but f and
Joe English writes:
:
| Suppose you have two morphisms f : A - B and g : B - A
| such that neither (f . g) nor (g . f) is the identity,
| but satisfying (f . g . f) = f. Is there a conventional name
| for this?
Is it equivalent to saying that (f . g) is the identity on the range
of f?