[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Thu Jan 5 17:14:47 EST 2017


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

CHANGELOG for this release:

- Allow qualified variable references in record literals
- Add 'placeholder' attribute for textareas
- Add more explicit build instructions to main demo
- Bug fixes




More information about the Ur mailing list