ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 12:13:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ABNF] trim down comments, which will move to the Leo Reference

Browse Source
This commit is contained in:
Eric McCarthy 2022-03-24 17:26:10 -07:00
parent e6752d67a0
commit a96e44c49b
2 changed files with 7 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
docs/grammar/README.md
View File

@ -21,9 +21,10 @@ along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
Lexical Grammar
---------------
This rule states the basic elements that form Leo code:
the Unicode code points that can be decoded from UTF-8.
character = %x0-D7FF / %xE000-10FFFF
<a name="character"></a>
```abnf
character = %x0-D7FF / %xE000-10FFFF ; Unicode code points decoded from UTF-8
```
<a name="horizontal-tab"></a>
```abnf
@ -821,13 +822,10 @@ file = *declaration
Format String Grammar
---------------------
The code points mentioned in this grammar represent
the elements of a Leo format string already parsed,
after escapes have been processed.
<a name="not-brace"></a>
```abnf
not-brace = %x0-7A / %x7C / %x7E-10FFFF ; anything but { or }
; codes permitted in string after escapes processed, except braces
```
<a name="format-string-container"></a>

9
docs/grammar/abnf-grammar.txt
View File

@ -19,9 +19,7 @@
; Lexical Grammar
; ---------------
; This rule states the basic elements that form Leo code:
; the Unicode code points that can be decoded from UTF-8.
character = %x0-D7FF / %xE000-10FFFF
character = %x0-D7FF / %xE000-10FFFF ; Unicode code points decoded from UTF-8
horizontal-tab = %x9 ; <HT>
@ -329,11 +327,8 @@ file = *declaration
; Format String Grammar
; ---------------------
; The code points mentioned in this grammar represent
; the elements of a Leo format string already parsed,
; after escapes have been processed.
not-brace = %x0-7A / %x7C / %x7E-10FFFF ; anything but { or }
; codes permitted in string after escapes processed, except braces
format-string-container = "{}"