diff options
Diffstat (limited to 'rprt.md')
| -rw-r--r-- | rprt.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -167,7 +167,7 @@ There are ten core selection functions in RPRT. All ten have nullary and monadic | Function | Nullary semantics | Output rank | |------------|------------------------------------------------------------|-------------| -| `e` | Empty selection | 2 | +| `e` | Empty selection | 3 | | `$` | End of buffer | 0 | | `#n` (n∈ℕ) | Character n in buffer | 0 | | `n` (n∈ℕ) | Line n in buffer | 1 | @@ -181,7 +181,7 @@ In the monadic case, functions have distinct rank 0 and rank 1 semantics. For ra | Function | Semantics for rank 0 `α` | Semantics for rank 1 `α` | |-----------|----------------------------------|------------------------------------------| -| `α e` | Empty selection (rank 2) | Empty selection (rank 2) | +| `α e` | Empty selection (rank 3) | Empty selection (rank 3) | | `α $` | `α` | End position of `α` | | `α #n` | `α` | Char n within `α` | | `α n` | `α` | Line n within `α` | |