On Thu, Nov 29, 2012 at 5:58 AM, Adam Chlipala <adamc at csail.mit.edu> wrote: > I'm very glad to have your contributions, and I'd > also be interested in hearing more about any Ur/Web projects you're working > on. I'm interested in hearing about what you're doing with Ur/Web and HTML 5 audio/video too :) Chris. -- http://www.bluishcoder.co.nz