Skip to content

Instantly share code, notes, and snippets.

@jpadams
Last active August 7, 2017 02:52
Show Gist options
  • Select an option

  • Save jpadams/ab17fb75fdf3aa947f7413002281df5e to your computer and use it in GitHub Desktop.

Select an option

Save jpadams/ab17fb75fdf3aa947f7413002281df5e to your computer and use it in GitHub Desktop.
<lparens> = '(';
<rparens> = ')';
<lbrace> = '{';
<rbrace> = '}';
<lbracket> = '[';
<rbracket> = ']';
boolean = true | false;
true = <"true">;
false = <"false">;
integer = [negative], digits;
real = [negative], digits, ".", digits, [exp];
exp = <"E" | "e">, [negative | positive], digits;
<digits> = #"[0-9]+";
<negative> = "-";
<positive> = "+";
<whitespace> = #'\s+';
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment