diff options
Diffstat (limited to 'docs/doc/primitive.html')
| -rw-r--r-- | docs/doc/primitive.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/doc/primitive.html b/docs/doc/primitive.html index ebb09c09..05cb3dbc 100644 --- a/docs/doc/primitive.html +++ b/docs/doc/primitive.html @@ -145,6 +145,11 @@ <td><a href="couple.html">Couple</a>*</td> </tr> <tr> +<td><code><span class='Function'>⋈</span></code></td> +<td><a href="pair.html">Enlist</a>*</td> +<td><a href="pair.html">Pair</a>*</td> +</tr> +<tr> <td><code><span class='Function'>↑</span></code></td> <td><a href="prefixes.html">Prefixes</a>*</td> <td><a href="take.html">Take</a></td> |