@@ -42,6 +42,10 @@ Here, `infixr 3 &&` indicates that `&&` has precedence 3 and [associates][wikipe
4242Similarly, `infixl 6 +` means that `+` has precedence 6 and associates to the left.
4343No precedence is shown for `not`, because none has been explicitly defined.
4444However, `not` is just a regular function, and function application always has precedence 10.
45+
46+ [wikipedia-associativity]:
47+ https://en.wikipedia.org/wiki/Operator_associativity
48+ "Wikipedia: Operator associativity"
4549~~~~
4650
4751~~~~ exercism/note
@@ -55,6 +59,10 @@ Hint: fill out the [truth tables][wikipedia-truth-table] for both versions.
5559This is not possible in general: sometimes `(P && Q) || R` and `P && (Q || R)` disagree.
5660
5761The motivation for the parentheses in the highlighted solution is efficiency; see below.
62+
63+ [wikipedia-truth-table]:
64+ https://en.wikipedia.org/wiki/Truth_table
65+ "Wikipedia: Truth table"
5866~~~~
5967
6068
@@ -141,15 +149,9 @@ As you can see, this version always does at least 2 tests.
141149[ operators-source-code] :
142150 https://hackage.haskell.org/package/ghc-prim-0.9.0/docs/src/GHC.Classes.html#line-509
143151 "source code of the logical operators"
144- [ wikipedia-associativity] :
145- https://en.wikipedia.org/wiki/Operator_associativity
146- "Wikipedia: Operator associativity"
147152[ wikipedia-non-strict-evaluation] :
148153 https://en.wikipedia.org/wiki/Evaluation_strategy#Non-strict_evaluation
149154 "Wikipedia: Non-strict evaluation"
150155[ wikipedia-precedence] :
151156 https://en.wikipedia.org/wiki/Order_of_operations
152157 "Wikipedia: Order of operations"
153- [ wikipedia-truth-table] :
154- https://en.wikipedia.org/wiki/Truth_table
155- "Wikipedia: Truth table"
0 commit comments