[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Sun Mar 6 15:16:19 EST 2016


Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- Allow '\r' in string and character literals
- New standard library functions: List.span and List.groupBy
- Bug fixes




More information about the Ur mailing list