On Sun, Apr 30, 2017 at 1:19 PM, Adam Chlipala <[email protected]> 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? _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
