[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Fri Jul 4 09:49:12 EDT 2014


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

CHANGELOG for this release:

- New syntactic shorthand for antiquoting subqueries
- New Top members: max and min
- 'sql_injectable_prim' instance for 'url'
- Bug fixes



More information about the Ur mailing list