[Ur] New release

Adam Chlipala adamc at impredicative.com
Sat Sep 26 13:11:59 EDT 2009


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

CHANGELOG for this release:

- Reimplemented client-side code generation to use an interpreter, 
rather than
  compilation to JavaScript; this avoids common browser flaws: lack of
  optimization of tail calls and occasional bugs in closure handling.
- Bug fixes




More information about the Ur mailing list