diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-04 22:03:22 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-04 22:03:22 -0500 |
| commit | 7c24767d82a01f23e1c4010f1a9d0c02f2befc5f (patch) | |
| tree | c2882822fd33574b6d94e18dba0d62e635579cb9 /docs/tutorial/index.html | |
| parent | c0effcec4d7e01c2e75614372780a115dcf203b8 (diff) | |
Switch from using ≍ to ⋈ in the tutorials so far
Diffstat (limited to 'docs/tutorial/index.html')
| -rw-r--r-- | docs/tutorial/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tutorial/index.html b/docs/tutorial/index.html index 85a2431f..ded09fb1 100644 --- a/docs/tutorial/index.html +++ b/docs/tutorial/index.html @@ -25,7 +25,7 @@ <tr> <td><a href="list.html">List manipulation</a></td> <td>Lists, strings, and strands; pervasion</td> -<td><code><span class='Function'>∾≍⌽↕</span><span class='Modifier'>¨´</span></code></td> +<td><code><span class='Function'>∾⋈⌽↕</span><span class='Modifier'>¨´</span></code></td> </tr> <tr> <td><a href="combinator.html">Combinators</a></td> |