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