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

changes abnf grammar

Browse Source
This commit is contained in:
damirka 2021-09-03 14:36:55 +03:00
parent 9bef8611e8
commit ab50d81473
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
grammar/abnf-grammar.txt
View File

@ -678,8 +678,10 @@ tuple-type = "(" [ type 1*( "," type ) ] ")"
array-type = "[" type ";" array-dimensions "]"
array-dimensions = natural
/ "(" natural *( "," natural ) ")"
array-dimension = natural / "_"
array-dimensions = array-dimension
/ "(" array-dimension *( "," array-dimension ) ")"
; Scalar and the remaining types form all the types.