diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-02-27 12:36:41 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-02-27 12:36:41 +0800 |
| commit | fbaa420ed550e9c3e7cdc09d4a8ec22bfbd782a6 (patch) | |
| tree | fad9722825bb3fa796dd52c3fd4a8bf46b958cf9 /chain/src/item/forest-format.org | |
| parent | afad02bdff111ecccb0077b9c989e869723c231c (diff) | |
before a major refactor
I decide to adopt a new approach of recording and updating item
derivation forests. Since this affects a lot of things, I decide to
commit before the refactor, so that I can create a branch for that
refactor.
Diffstat (limited to 'chain/src/item/forest-format.org')
| -rw-r--r-- | chain/src/item/forest-format.org | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/chain/src/item/forest-format.org b/chain/src/item/forest-format.org new file mode 100644 index 0000000..eb0f150 --- /dev/null +++ b/chain/src/item/forest-format.org @@ -0,0 +1,10 @@ +#+TITLE: Format of forests +#+DATE: [2023-02-13 Lun 22:05] +#+AUTHOR: Durand + +In this document I try to explain the format of the forests returned +by the parser generator. + +* Basic terms + +# TODO: Explain |