Ur/Web Presentation at DEFUN'09

This demo will use version 20090825 of the Ur/Web compiler. Earlier versions definitely won't be able to handle the whole demo.

The source code to the demo is available.

Further information can be found from the main page of the Ur web site.