Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - New antiquote syntax for 'ORDER BY' clauses - New standard library function: List.mem - Bug fixes and improvements to type inference