From fbaa420ed550e9c3e7cdc09d4a8ec22bfbd782a6 Mon Sep 17 00:00:00 2001 From: JSDurand Date: Mon, 27 Feb 2023 12:36:41 +0800 Subject: 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. --- chain/src/item/forest-format.org | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 chain/src/item/forest-format.org (limited to 'chain/src/item/forest-format.org') 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 -- cgit v1.2.3-18-g5258