diff options
| author | Camil Staps | 2017-07-29 00:17:28 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-07-29 00:18:29 +0200 |
| commit | cda243a41b13626f72ceaaa99901c402b9797dc7 (patch) | |
| tree | 88788ec4d6d7490e2b4aa9da5f3cba570ff18151 /README.md | |
| parent | Fix lazy operators (diff) | |
Cleanup; add <> < > <= >=
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 |