Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Bug fixes - Optimization improvements - New set of extra demos in demo/more