5 Apr
2004
5 Apr
'04
12:33 p.m.
Am Montag, 5. April 2004 18:20 schrieb ross@soi.city.ac.uk:
[...]
newtype Endo a = Endo { runEndo :: a -> a }
Is "endo" a usual mathematical term? If not, it probably would make many mathematicians think that it means "endomorphism" but Endo is not necessarily an endomorphism. Wolfgang