Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Bug fixes and improvements to type inference and optimization