Josef Eschgfaeller on Fri, 18 Sep 2015 16:23:56 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Set definition syntax


Could one not allow also the syntax

    [x <- v | P(x)]

instead of  [x | x<-v, P(x)] ?

Don't know, of course, how difficult this is.

Josef Eschgfaeller