diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 18:15:31 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 18:15:31 -0300 |
| commit | 257f5288a486740187e44b6ef4cadaad7166930e (patch) | |
| tree | 33d93a4e603469fe87c8f6a2f596780ca5a8f4db /examples | |
| parent | b4a2485afbf74e99e2147086fbca0568b7e2b7b8 (diff) | |
| download | SOL-257f5288a486740187e44b6ef4cadaad7166930e.tar.gz SOL-257f5288a486740187e44b6ef4cadaad7166930e.zip | |
package build carries menhir and rocq, docs completeness pass
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/README.org | 9 |
1 files changed, 9 insertions, 0 deletions
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 |