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

[ABNF] Add a clarification to the documentation.

Browse Source 
No grammar change in this commit.
This commit is contained in:
Alessandro Coglio 2022-03-10 15:31:31 -08:00
parent ca3ae89a3e
commit 3f6b17646c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -59,7 +59,7 @@
; usable as last resort in the definiens of a nonterminal.
; While BNF allows arbitrary terminals,
; ABNF uses only natural numbers as terminals,
; ABNF uses only natural numbers (i.e. non-negative integers) as terminals,
; and denotes them via:
; (i) binary, decimal, or hexadecimal sequences,
; e.g. `%b1.11.1010`, `%d1.3.10`, and `%x.1.3.A`