[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Sun Nov 22 10:28:09 EST 2015


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



More information about the Ur mailing list