[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Sat Feb 13 10:07:48 EST 2016


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

CHANGELOG for this release:

- .urp 'library' directive: only process a given library the first time 
it is referenced
- For maintenance of Ur/Web project source code, switched from Mercurial 
to Git
- Added Travis integration
- Bug fixes and improvements to type inference and compatibility




More information about the Ur mailing list