[Ur] New release

Adam Chlipala adamc at impredicative.com
Sun Apr 5 13:03:36 EDT 2009


There's a new Ur/Web release up at
    http://www.impredicative.com/ur/

This one mainly adds asynchronous message-passing for inter-client 
communication.



More information about the Ur mailing list