From cda243a41b13626f72ceaaa99901c402b9797dc7 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 29 Jul 2017 00:17:28 +0200
Subject: Cleanup; add <> < > <= >=

---
 README.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 1d43430..888abac 100644
--- a/README.md
+++ b/README.md
@@ -8,7 +8,7 @@ or can be interpreted with the [ABCMachine][abc-github] project.
 ## Grammar
 
 ```
-<Program>        ::= <Function>-list
+<Program>        ::= <Initialisation>-list <Function>-list
 
 <Function>       ::= <Type> <Name> '(' <Arg>-clist ')' '{' <CodeBlock> '}'
 
@@ -38,7 +38,10 @@ or can be interpreted with the [ABCMachine][abc-github] project.
                   |  '(' <Expression> ')'               // Parenthised expression
 
 <Op1>            ::= '~' | '!'
-<Op2>            ::= '+' | '-' | '*' | '/' | '%' | '==' | '||' | '&&' | ':'
+<Op2>            ::= '+' | '-' | '*' | '/' | '%'           // Int Int -> Int
+                  | '==' | '<>' | '<' | '>' | '<=' | '>='  // Int Int -> Bool
+                  | '||' | '&&'                            // Bool Bool -> Bool
+                  | ':'                                    // a [a] -> [a]
 
 <Type>           ::= 'Bool' | 'Int' | 'Void'
                   |  '(' <Type>-clist ')'     // Tuple
-- 
cgit v1.2.3