aggregating (ie list agg, all, any, etc) what was the other one??
Activity
danielkeller commentedon Mar 23, 2012
or also (something)= as "unary reduction operators" like http://people.csail.mit.edu/bradley/cm5docs/CStarProgrammingGuide.pdf