[Ur] Planning a new Ur/Web release soon
Adam Chlipala
adamc at csail.mit.edu
Wed Dec 4 10:26:04 EST 2019
I like the idea of making a final Ur/Web release of 2019. Please let me
know this week if there are any lingering issues that have not been
addressed yet in the main repo <https://github.com/urweb/urweb> that
seem straightforward enough to address before a release.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20191204/0cd0a6ee/attachment.html>
More information about the Ur
mailing list