_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
A bunch of good stuff has been merged into Ur/Web over the last few
months, so I'd like to put out a new release shortly after I finish my
current vacation. Please let us all know if you think any further
changes are worth making first. The best way to give said notice is by
submitting a PR on GitHub!