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 _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur