[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Sat Feb 14 08:31:51 EST 2015


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

CHANGELOG for this release:

- Bug fixes and improvements to type inference and optimization




More information about the Ur mailing list