diff options
| -rw-r--r-- | doc/syntax.md | 1 | ||||
| -rw-r--r-- | docs/doc/syntax.html | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/doc/syntax.md b/doc/syntax.md index 76489695..20119992 100644 --- a/doc/syntax.md +++ b/doc/syntax.md @@ -25,6 +25,7 @@ Glyph(s) | Meaning `{}` | [Block](#blocks) such as a function definition `:` | [Block header](block.md#block-headers) `;` | [Block body separator](block.md#multiple-bodies) +`?` | [Predicate](block.md#predicates) `𝕨𝕎` | [Left argument](#blocks) `𝕩𝕏` | [Right argument](#blocks) `𝕤𝕊` | [Function self-reference](#blocks) diff --git a/docs/doc/syntax.html b/docs/doc/syntax.html index 54271ab0..25f4ea23 100644 --- a/docs/doc/syntax.html +++ b/docs/doc/syntax.html @@ -77,6 +77,10 @@ <td><a href="block.html#multiple-bodies">Block body separator</a></td> </tr> <tr> +<td><code><span class='Value'>?</span></code></td> +<td><a href="block.html#predicates">Predicate</a></td> +</tr> +<tr> <td><code><span class='Value'>𝕨</span><span class='Function'>𝕎</span></code></td> <td><a href="#blocks">Left argument</a></td> </tr> |