From efe8032f7e224c29fc67a4f8cfd52db908442eec Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 10 Sep 2026 23:10:11 -0300 Subject: terrible writing fix on evaluators doc --- docs/evaluators.org | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'docs') 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. -- cgit v1.2.3