diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-14 11:39:04 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-03-14 11:39:04 -0300 |
| commit | e6661bfa6a3d7dc477d0b7717c80bd536eca2d68 (patch) | |
| tree | 12510963feeed03221defa690e73edd4135b65e1 /docs/icl-quantification.org | |
| parent | 0ad04e638baa8f283150d3c2809cdb9bf21e2995 (diff) | |
| download | Sakura-e6661bfa6a3d7dc477d0b7717c80bd536eca2d68.tar.gz Sakura-e6661bfa6a3d7dc477d0b7717c80bd536eca2d68.zip | |
Branching and naïve merge strategies
* AGPL license
* branching and merging
* Delete LICENSE in favor of separate PR
Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
* add unmonitored tests and docs
---------
Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
Diffstat (limited to '')
| -rw-r--r-- | docs/icl-quantification.org (renamed from docs/dcl-quantification.org) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/dcl-quantification.org b/docs/icl-quantification.org index 81e9cad..7a81551 100644 --- a/docs/dcl-quantification.org +++ b/docs/icl-quantification.org @@ -1,8 +1,8 @@ -#+TITLE: DCL Quantification: Runtime Model and Evaluation +#+TITLE: ICL Quantification: Runtime Model and Evaluation * Overview -This document describes precisely how DCL constraints are represented, compiled, +This document describes precisely how ICL constraints are represented, compiled, and evaluated at runtime. It covers the full stack from the s-expression syntax through AST compilation, context construction, and recursive evaluation — with particular attention to the cost model of quantifiers, which is the primary target |