[Ur] Project web site facelift!

[Adam Chlipala]

I've thrown together an incrementally more "modern" looking web site for 
the Ur/Web project.  What do you think?
    http://www.impredicative.com/ur/
One addition is a "Who's Using It?" page.  If anyone has a project 
suitable to be linked from there, please let me know!

_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur