Comprehensions support in Dafny

Oct 6, 2013 at 4:58 PM
Edited Oct 7, 2013 at 3:02 AM
Does Dafny support comprehensions like min, max, sum, count, etc.
Please have a look at this
spec# seems to have support for these comprehensions.
Oct 28, 2013 at 9:25 AM

as far as I know Dafny supports set comprehensions (see Test/dafny0/Comprehensions.dfy in the source tree), but, unlike Spec#, it does not directly support min, max, sum, etc..

Best regards,