From 257f5288a486740187e44b6ef4cadaad7166930e Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 12 Jul 2026 18:15:31 -0300 Subject: package build carries menhir and rocq, docs completeness pass --- examples/README.org | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'examples/README.org') diff --git a/examples/README.org b/examples/README.org index 20b853a..3ab427f 100644 --- a/examples/README.org +++ b/examples/README.org @@ -43,6 +43,15 @@ per line. bottom show facts that make admission reject the whole program; uncomment one and run again to see it happen. +* What is not here + +States, transitions and commit (=[Insert relation: #Person ...]=, +=at:= scoped reads, the branch tip) belong to the stateful world +and do not exist in the standalone binary, by decision 5: standalone +Sol is the pure fragment. The working demonstration of that half +lives in =test/test_branch.ml=, driven through the embedding +interface the way RNT drives it. + * Reading the answers Each query prints one line per answer: variable bindings in Sol -- cgit v1.2.3