[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Thu Aug 7 09:34:46 EDT 2014


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

CHANGELOG for this release:

- New .urp directive: 'file'
- Support for 'aria-*' attributes in HTML
- Default value of 'jsFunc' for less-safe FFI
- Client-side implementation of Basis function 'strsindex'
- Bug fixes and improvements to type inference and documentation




More information about the Ur mailing list