Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'lib/ungrammar/ungrammar.ungram')
| -rw-r--r-- | lib/ungrammar/ungrammar.ungram | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/lib/ungrammar/ungrammar.ungram b/lib/ungrammar/ungrammar.ungram new file mode 100644 index 0000000000..856a6cede0 --- /dev/null +++ b/lib/ungrammar/ungrammar.ungram @@ -0,0 +1,16 @@ +/// ungrammar for ungrammar +Grammar = + Node * + +Node = + name:'ident' '=' Rule + +Rule = + 'ident' +| 'token_ident' +| Rule * +| Rule ( '|' Rule) * +| Rule '?' +| Rule '*' +| '(' Rule ')' +| label:'ident' ':' Rule |