diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-10 23:10:11 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-10 23:10:11 -0300 |
| commit | efe8032f7e224c29fc67a4f8cfd52db908442eec (patch) | |
| tree | b18c72c18955b08362a87e8dce14218488a23f56 /docs | |
| parent | 543a35109cb23b464abd26a234b08b4060fe28ba (diff) | |
| download | RNT-efe8032f7e224c29fc67a4f8cfd52db908442eec.tar.gz RNT-efe8032f7e224c29fc67a4f8cfd52db908442eec.zip | |
terrible writing fix on evaluators doc
Diffstat (limited to '')
| -rw-r--r-- | docs/evaluators.org | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/docs/evaluators.org b/docs/evaluators.org index f6fe39b..1e0d7cc 100644 --- a/docs/evaluators.org +++ b/docs/evaluators.org @@ -83,12 +83,12 @@ C. Neither evaluator however knows the other's representation. The caller must establish that the callee's contract meets its needs, obviously. -* This slice -Registration is in-process OCaml: an evaluator is an object supplied -by an OCaml client, as =Relation= and =Schematics= are today. A -foreign registration path is a later concern and is not designed for -here. +* Registration +Registration is made by the client, and in the case of builtins, +automatically at initialization, just as =Relation= and =Schematics=, +for example. A foreign registration path is a later concern and is not +designed for here. -Only =Protocols.Cursor= exists as a result protocol. Successor state, -completion, plan persistence, and cross-evaluator optimization are -absent by intention. +Only =Protocols.Cursor= exists as a result protocol (at least for now), +so a successor state, completion, plan persistence, and cross-evaluator +optimizations are absent by design. |