[Ur] Project web site facelift!

Adam Chlipala adamc at impredicative.com
Fri Jul 15 11:41:33 EDT 2011


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!



More information about the Ur mailing list