diff --git a/info/labs/amy-specification/AmySpec.md b/info/labs/amy-specification/AmySpec.md index 4bb8bd927c78ff3089cff2c2229f7f149d30a50e..538ec03a06ad9dbcb53d9ea649e7cfd0cc2c4bab 100644 --- a/info/labs/amy-specification/AmySpec.md +++ b/info/labs/amy-specification/AmySpec.md @@ -218,7 +218,7 @@ BinOp ::= + | - | * | / | % | < | <= UnaryOp ::= - | ! MatchCase ::= case Pattern => Expr -Pattern ::= [ Id . ]? Id ( Patterns ) | Id | Literal | +Pattern ::= [ Id . ]? Id ( Patterns ) | Id | Literal | _ Patterns ::= ϵ | Pattern [ , Pattern ]∗ Args ::= ϵ | Expr [ , Expr ]∗