You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
test.laws.associativity.doc : Doc
test.laws.associativity.doc =
{{
Checks the associativity property of a binary operation.
`` associativity gen f `` checks that for all elements `x`, `y`, and `z`
returned by `gen`, `f x (f y z)` is equal to `f (f x y) z`.
For example, if `f` is {Nat.+}, then {{ docExample 4 do x (+) y z -> x + y + z
}} is equal to {{ docExample 4 do (+) x y z -> x + y + z }}.
}}
renders as
test.laws.associativity.doc : Doc
test.laws.associativity.doc =
{{
Checks the associativity property of a binary operation.
`` associativity gen f `` checks that for all elements `x`, `y`, and `z`
returned by `gen`, `f x (f y z)` is equal to `f (f x y) z`.
For example, if `f` is {Nat.+}, then {{ docExample 4 do x + y z -> x + y + z
}} is equal to {{ docExample 4 do + x y z -> x + y + z }}.
}}
which doesn't parse.
The text was updated successfully, but these errors were encountered:
renders as
which doesn't parse.
The text was updated successfully, but these errors were encountered: