[Ur] urweb-callback library, urweb patches
Sergey Mironov
grrwlf at gmail.com
Thu Apr 17 15:32:26 EDT 2014
Good news, thanks! Hope to see TechEmpower results as well.
Sergey
2014-04-16 2:30 GMT+04:00 Adam Chlipala <adamc at csail.mit.edu>:
> On 02/26/2014 05:32 AM, Sergey Mironov wrote:
>>
>> The patches are in attach, please consider reviewing/merging!
>
>
> I was waiting for the TechEmpower benchmark project to publish the next
> round with the latest Ur/Web included, but I finally ran out of patience and
> incorporated your patches, from the Github repo. Sorry for the long wait.
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
More information about the Ur
mailing list