[Ur] [UrWeb] urscript library plus a couple of patches

Sergey Mironov grrwlf at gmail.com
Fri Dec 6 09:00:51 EST 2013


Looks like I forgot to post the link. Here it is.

https://github.com/grwlf/urscript

Sergey

2013/12/6 Adam Chlipala <adamc at csail.mit.edu>:
> On 12/06/2013 06:52 AM, Sergey Mironov wrote:
>>
>> Hi. I wrote a small library which allows to insert<script>  tags
>> referencing foreign scripts.
>>
>
>
> Did I miss some place where you explain where to find your library? :)



More information about the Ur mailing list