Adam Chlipala
2018-08-19 14:13:28 UTC
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.
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.