Homebrew tap updated with new release. You can 'brew upgrade urweb' to get it on your mac.
Regards, Eran. On Sun, Nov 22, 2015 at 5:28 PM, Adam Chlipala <ad...@csail.mit.edu> wrote: > Available as usual at: http://www.impredicative.com/ur/ > > CHANGELOG for this release: > > - Daemon mode now supports shared caching of libraries across projects. > - Change behavior of SQL equality to do the intuitive thing for nullable > types. > - Basis.fromMilliseconds > - Bug fixes and improvements to type inference and error messages > > _______________________________________________ > Ur mailing list > Ur@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur