[Ur] EUnurlify in code to be compiled to JavaScript[2]?

Benjamin Barenblat benjamin at barenblat.name
Mon May 1 09:42:31 EDT 2017


On Sun, Apr 30, 2017 at 1:19 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:
> Ur/Web doesn't support any interaction with cookies in client-side
> code.

Is this because Ur/Web signs all its cookies and doing the signing and
verification on the client side is a security problem?



More information about the Ur mailing list