23 Mar
2005
23 Mar
'05
7:10 a.m.
Am 23. Mrz 2005 um 5.23 Uhr schrieb Antonio Regidor García:
8. Accept "element of" U+2208 instead of <- in list comprehensions?
That would take it away as a regular operator (to use as the elem function). Also, the right hand side of those arrows being lists rather than proper sets, with an imposed ordering, I think the arrow is OK. But you're right that I didn't mention list comprehensions. Take my suggestion to mean "accept 'leftwards arrow' anywhere for <-". :) Regards, Sven Moritz