_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
I wasn't paying close enough attention and missed when the Ur/Web
repository on GitHub passed 512 stars, but that doesn't mean I can't
still propose a brief celebration now! Thanks, everyone, for your
interest in the project and help hunting down bugs and dreaming up
feature ideas.