[Ur] Project binary milestone of the year

Adam Chlipala adamc at csail.mit.edu
Sun Aug 19 10:13:28 EDT 2018


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.




More information about the Ur mailing list