ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 15:15:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ABNF] Tweak documentation.

Browse Source
This commit is contained in:
Alessandro Coglio 2021-05-12 19:13:23 -07:00
parent 566365e501
commit 7d21990db1
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
grammar/abnf-grammar.txt
View File

@ -284,7 +284,7 @@
; A Leo file is a finite sequence of Unicode characters,
; represented as Unicode code points,
; which are numbers in the range from 0 to 10FFFFh.
; which are numbers in the range from 0 to 10FFFF.
; These are captured by the ABNF rule `character` below.
; The lexical grammar defines how, at least conceptually,
@ -423,8 +423,8 @@ keyword = %s"address"
/ %s"u64"
/ %s"u128"
; The following rules define (ASCII) digits
; and (uppercase and lowercase) letters.
; The following rules define (ASCII)
; digits and (uppercase and lowercase) letters.
digit = %x30-39 ; 0-9