From 3cbd140a7583bb8f5f093a2bffa920c52f262d42 Mon Sep 17 00:00:00 2001 From: Paul Bone Date: Tue, 5 Mar 2024 20:54:40 +1100 Subject: [PATCH] [docs] Fixes to the description of Plasma's grammar --- docs/plasma_ref.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/plasma_ref.txt b/docs/plasma_ref.txt index 69b82a23..9ada1e3b 100644 --- a/docs/plasma_ref.txt +++ b/docs/plasma_ref.txt @@ -45,11 +45,11 @@ The "front end" passes of Plasma compilation work as follows: === Parsing -Plasma's EBNF is given in prices throughout this document as concepts are +Plasma's grammar is given in pieces throughout this document as concepts are introduced. However the top level and some shared definitions are given here. -In this ENBF syntax I use ( and ) to denote groups and ? + and * to denote -optional, one or more, and zero or more. +In the grammar definitions I use ( and ) to denote groups and ? + and * to +denote optional, one or more, and zero or more. ---- Plasma := ModuleDecl ToplevelItem*