[Ur] New release

Adam Chlipala adamc at impredicative.com
Thu Mar 25 13:29:25 EDT 2010


Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- -verbose flag
- COUNT(col) SQL aggregate function
- 'benignEffectful' and 'safeGet' .urp commands
- Remove Basis.getRequestHeader, since it can be used to circumvent cookie
   security
- Rename Top.foldR*X to map*X
- Bug fixes and optimization improvements




More information about the Ur mailing list