From 20674aa65148558fb849eb1bb9c8a5e4a0cf483d Mon Sep 17 00:00:00 2001 From: tslil Date: Wed, 22 Oct 2025 21:02:01 +0100 Subject: Implement two basic selection functions --- rprt.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'rprt.md') diff --git a/rprt.md b/rprt.md index ec65a45..ee1299f 100644 --- a/rprt.md +++ b/rprt.md @@ -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 `α` | -- cgit v1.2.3