[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Tue Sep 25 08:30:15 EDT 2012


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

CHANGELOG for this release:

- Changes to optimization/compilation strategy that can speed up 
compilation and
   reduce code size dramatically
- New .urp directives: 'coreInline' and 'monoInline'
- 'show' instance for 'sql_query'
- Improvements to compiler error messages
- Bug fixes and optimization improvements




More information about the Ur mailing list