diff options
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. |