From 4b1fa735020db50a74432026107834b2df1fc719 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Sat, 27 Feb 2016 14:23:23 +0100
Subject: [PATCH] part of the grammar

---
 src/grammar.txt | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 src/grammar.txt

diff --git a/src/grammar.txt b/src/grammar.txt
new file mode 100644
index 0000000..ca25bb0
--- /dev/null
+++ b/src/grammar.txt
@@ -0,0 +1,24 @@
+<Expr>    ::= <id> ['hd'|'tl'|'fst'|'snd] <Expr`>
+		  | <Op1> <Expr> <Expr`>
+		  | <int> <Expr`>
+		  | <char> <Expr`>
+		  | 'False' <Expr`>
+		  | 'True' <Expr`>
+		  | '(' <Expr> ')' <Expr`>
+		  | <id> '(' [<ActArgs>] ')' <Expr`>
+		  | '[]' <Expr> <Expr`>
+		  | '(' <Expr> ',' <Expr> ')' <Expr`>
+<Expr`>   ::= <Op2> <Expr> <Expr`> | e
+<Op2>     ::= '+' | '-' | '*' | '/' | '%' | '==' | '<' | '>' | '<=' | '>='
+          |	'!=' | '&&' | '||' | ':'
+
+<ActArgs> ::= <Expr> [',' ActArgs]
+
+<VarDecl> ::= (<Type> | 'var') <id> '=' <Expr> ';'
+
+<Type> ::= 'Int'
+       | 'Bool'
+       | 'Char'
+       | '(' Type ',' Type ')'
+       | '[' Type ']'
+       | <id>
-- 
2.20.1