diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-02-07 18:49:24 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-02-07 18:49:24 -0500 |
| commit | 704d299e43bdab3d8040b8422b1630d11fc386c3 (patch) | |
| tree | 4a777fcc5414ca9a857ad69d3fa4177a336b59e8 | |
| parent | cba5bb7a7d8eb17f38757d7117c0c97fda19b708 (diff) | |
Add a note for inserting atoms in translation of J amend
| -rw-r--r-- | doc/fromJ.md | 2 | ||||
| -rw-r--r-- | docs/doc/fromJ.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/fromJ.md b/doc/fromJ.md index d2fed75d..b2884c1e 100644 --- a/doc/fromJ.md +++ b/doc/fromJ.md @@ -162,7 +162,7 @@ Some J modifier expressions are translated below. BQN doesn't keep track of the | `x F&.>/ y` | `x F⌜ y` | `x F/ y` | `x F⎉r‿∞ y` where `r` is `F`'s left rank | ``F`G`H@.C`` | `C◶⟨F,G,H⟩` -| `x y} z` | `x⌾(y⊸⊏) z` +| `x y} z` | `x⌾(y⊸⊏) z` (`x¨` if `x` is an atom) | `x F/ . G y` | `x F˝∘G⎉1‿∞ y` | `F :. G` | `{𝕊: 𝕨F𝕩; 𝕊⁼: 𝕨G𝕩}` | `<;._1` | ``((1-˜¬×+`)=⟜⊏⊘⊣)⊔⊢`` diff --git a/docs/doc/fromJ.html b/docs/doc/fromJ.html index 99107f88..f1849667 100644 --- a/docs/doc/fromJ.html +++ b/docs/doc/fromJ.html @@ -671,7 +671,7 @@ </tr> <tr> <td><code><span class='Value'>x</span> <span class='Value'>y</span><span class='Brace'>}</span> <span class='Value'>z</span></code></td> -<td><code><span class='Value'>x</span><span class='Modifier2'>⌾</span><span class='Paren'>(</span><span class='Value'>y</span><span class='Modifier2'>⊸</span><span class='Function'>⊏</span><span class='Paren'>)</span> <span class='Value'>z</span></code></td> +<td><code><span class='Value'>x</span><span class='Modifier2'>⌾</span><span class='Paren'>(</span><span class='Value'>y</span><span class='Modifier2'>⊸</span><span class='Function'>⊏</span><span class='Paren'>)</span> <span class='Value'>z</span></code> (<code><span class='Value'>x</span><span class='Modifier'>¨</span></code> if <code><span class='Value'>x</span></code> is an atom)</td> </tr> <tr> <td><code><span class='Value'>x</span> <span class='Function'>F/</span> <span class='Value'>.</span> <span class='Function'>G</span> <span class='Value'>y</span></code></td> |