diff --git a/README.md b/README.md index 48f3185..6147912 100644 --- a/README.md +++ b/README.md @@ -8,20 +8,20 @@ A type-inferred, statically typed functional programming language inspired by OC ::= words ::= - | - | "let" (*)? "=" - | "let" "=" "in" - | "if" "then" "else" - | "fun" + "->" - | ()+ + | + | "let" (*)? "=" + | "let" "=" "in" + | "if" "then" "else" + | "fun" + "->" + | ()+ ::= "+" | "++" | "-" | "*" | "/" | "%" | "@" | "::" | "==" | "!=" | "<" | "<=" | ">" | ">=" ::= - | - | "[" ? "]" - | int ".." int - | "(" ")" + | + | "[" ? "]" + | int ".." int + | "(" ")" ::= (";" )?