[Ur] Library for reading external files

[Adam Chlipala]

Taru Karttunen wrote:
> I wrote a tiny library to serve external files from Ur/Web.
>    

Thanks for sharing it!

Does your library maintain the transactional abstraction?  That is, if I 
read a file twice within an Ur/Web page handler, and the file has been 
modified from the outside between the first and second reads, will the 
two blobs returned be different?

For Ur/Web operations that only read but don't write, the above sort of 
semantics is not disastrous, but is still unfortunate. ;)