diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-05 12:56:39 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-05 12:56:39 -0400 |
| commit | 6408f52bdb80b0b79191675481bf59739ec3ad5b (patch) | |
| tree | 2c9895bd1d9def10c7cf7b05b1c7d357fbf2c849 /doc | |
| parent | 053d9b3038977db5cbf1921a144366ebaf774cfe (diff) | |
Prefer ˙ to ˜ for constant functions
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/primitive.md | 2 | ||||
| -rw-r--r-- | doc/transpose.md | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/doc/primitive.md b/doc/primitive.md index 527312ab..09a819d2 100644 --- a/doc/primitive.md +++ b/doc/primitive.md @@ -53,7 +53,7 @@ Functions that have significant differences from APL functions are marked with a ## Modifiers -*Combinators* only control the application of functions. Because a non-function operand applies as a constant function, some combinators have extra meanings when passed a constant. For example, `0˜` is the constant function that always returns 0 and `0⊸<` is the function that tests whether its right argument is greater than 0. +*Combinators* only control the application of functions. Because a non-function operand applies as a constant function, some combinators have extra meanings when passed a constant. For example, `0˜` is identical to `0˙`—a constant function that always returns 0—and `0⊸<` is the function that tests whether its right argument is greater than 0. Glyph | Name(s) | Definition | Description ------|-------------|--------------------------------|--------------------------------------- diff --git a/doc/transpose.md b/doc/transpose.md index ae72d889..1a870347 100644 --- a/doc/transpose.md +++ b/doc/transpose.md @@ -68,13 +68,13 @@ In particular, the case with only one argument specified is interesting. Here, t ≢ 2 ⍉ a23456 # Restrict Transpose to the first three axes -Finally, it's worth noting that, as monadic Transpose moves the first axis to the end, it's equivalent to dyadic Transpose with a "default" left argument: `(=-1˜)⊸⍉`. +Finally, it's worth noting that, as monadic Transpose moves the first axis to the end, it's equivalent to dyadic Transpose with a "default" left argument: `(=-1˙)⊸⍉`. ## Definitions Here we define the two valences of Transpose more precisely. -Monadic transpose is identical to `(=-1˜)⊸⍉`, except that for scalar arguments (including atoms) it returns the array unchanged rather than giving an error. +Monadic transpose is identical to `(=-1˙)⊸⍉`, except that for scalar arguments (including atoms) it returns the array unchanged rather than giving an error. An atom right argument to dyadic Transpose is always enclosed to get a scalar array before doing anything else. |
