On 3/19/14, 9:10 AM, Timon Gehr wrote:
On 03/19/2014 05:01 PM, Andrei Alexandrescu wrote:On 3/19/14, 8:55 AM, Dicebot wrote:I would have supported if it was lazy. Not in its proposed form.Good point. Maybe forall would be a better name. Andreihttp://en.wikipedia.org/wiki/Forall
Never mind, each is better :o) -- Andrei
