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

2017-05-01 Thread Adam Chlipala
On 05/01/2017 09:42 AM, Benjamin Barenblat wrote: On Sun, Apr 30, 2017 at 1:19 PM, Adam Chlipala 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

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

2017-05-01 Thread Benjamin Barenblat
On Sun, Apr 30, 2017 at 1:19 PM, Adam Chlipala 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? ___