
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <div class="moz-cite-prefix">OK, it is now changed!<br>

    </div>

    <div class="moz-cite-prefix"><br>

    </div>

    <div class="moz-cite-prefix">On 5/15/20 2:47 PM, Adam Chlipala

      wrote:<br>

    </div>

    <blockquote type="cite"

      cite="mid:331233d5-e19a-5b43-ea90-ad7ce0c08c80@csail.mit.edu">

      <meta http-equiv="content-type" content="text/html; charset=UTF-8">

      <p>Way back when, in Ur/Web's grammar, I apparently gave these two

        quintessential Boolean operators different relative precedences,

        compared to other widely used languages, as has been <a

          moz-do-not-send="true"

          href="https://github.com/urweb/urweb/issues/202">pointed out</a>. 

        Would anyone object to swapping them?  It's entirely possible

        that there has not yet been written an Ur/Web program that would

        parse differently depending on this choice, but it seems worth

        checking for strong opinions.  A week from posting this message,

        I'll consider it safe to take the proposed action, if no one has

        complained.</p>

    </blockquote>

    <br>

  </body>

</html>