[Ur] New release, with AJAX support

Adam Chlipala adamc at impredicative.com
Thu Mar 12 16:22:52 EDT 2009

There's a new Ur/Web release, available at the usual place.

This one adds some first support for the "AJAX" style of mixed 
client-server programming.  I've added some new demos to illustrate, at 
the usual place:
The demos starting from "Alert" involve client-side programming.

More information about the Ur mailing list