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

[ABNF] Add the remainder operator.

Browse Source
This commit is contained in:
Alessandro Coglio 2022-07-28 14:25:01 -07:00
parent eb63f13cf7
commit f5b62e913b
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -189,7 +189,7 @@ symbol = "!" / "&&" / "||"
/ "<" / "<=" / ">" / ">="
/ "&" / "|" / "^"
/ "<<" / ">>"
/ "+" / "-" / "*" / "/" / "**"
/ "+" / "-" / "*" / "/" / "%" / "**"
/ "="
/ "(" / ")"
/ "[" / "]"
@ -301,6 +301,7 @@ exponential-expression = unary-expression
multiplicative-expression = exponential-expression
/ multiplicative-expression "*" exponential-expression
/ multiplicative-expression "/" exponential-expression
/ multiplicative-expression "%" exponential-expression
additive-expression = multiplicative-expression
/ additive-expression "+" multiplicative-expression