diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-02-03 10:52:35 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-02-03 10:52:35 +0800 |
| commit | 265ff8f87dc7392fdf701f811eb2bf54d7bc6678 (patch) | |
| tree | 35538c8ac7524e0d9f2acff8be21b72994728bc4 /chain/src/plan.org | |
| parent | f28155105134b90fd86049c65478d307e0d8dbbc (diff) | |
Finally produced the first correct forest
Finally the prototype parser has produced the first correct forest.
It is my first time to generate a correct forest, in fact, ever since
the beginning of this project.
Diffstat (limited to 'chain/src/plan.org')
| -rw-r--r-- | chain/src/plan.org | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chain/src/plan.org b/chain/src/plan.org index 1da33cc..77d000c 100644 --- a/chain/src/plan.org +++ b/chain/src/plan.org @@ -79,9 +79,9 @@ lack of this step might be the root cause of the failure of the previous version of this project. + [X] Test atoms -- [ ] Implement semiring. [0/5] - + [ ] Define the trait. - + [ ] Define items and rules for the chain-rule parser, as an +- [-] Implement semiring. [2/5] + + [X] Define the trait. + + [X] Define items and rules for the chain-rule parser, as an item-based description. + [ ] Implement the boolean semiring. + [ ] Implement the natural number semiring. |