Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
zazedd authored Dec 10, 2023
1 parent 4b74546 commit 065f5da
Showing 1 changed file with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,20 +8,20 @@ A type-inferred, statically typed functional programming language inspired by OC
<ident> ::= words
<expr> ::= <const>
| <expr> <bop> <expr>
| "let" <ident> (<ident>*)? "=" <expr>
| "let" <ident> "=" <expr> "in" <expr>
| "if" <expr> "then" <expr> "else" <expr>
| "fun" <ident>+ "->" <expr>
| <const> (<const>)+
| <expr> <bop> <expr>
| "let" <ident> (<ident>*)? "=" <expr>
| "let" <ident> "=" <expr> "in" <expr>
| "if" <expr> "then" <expr> "else" <expr>
| "fun" <ident>+ "->" <expr>
| <const> (<const>)+
<bop> ::= "+" | "++" | "-" | "*" | "/" | "%" | "@" | "::" | "==" | "!=" | "<" | "<=" | ">" | ">="
<const> ::= <simple_expr>
| <ident>
| "[" <expr_list>? "]"
| int ".." int
| "(" <expr> ")"
| <ident>
| "[" <expr_list>? "]"
| int ".." int
| "(" <expr> ")"
<expr_list> ::= <expr> (";" <expr_list>)?
Expand Down

0 comments on commit 065f5da

Please sign in to comment.