diff options
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index 74522150..7126b9e0 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -168,6 +168,7 @@ atyp :: 'ATyp_' ::= | num :: :: constant {{ com constant }} | atyp1 * atyp2 :: :: times {{ com product }} | atyp1 + atyp2 :: :: sum {{ com sum }} + | atyp1 - atyp2 :: :: minus {{ com subtraction }} | 2** atyp :: :: exp {{ com exponential }} | neg atyp :: :: neg {{ com Internal (but not M as I want a datatype constructor) negative nexp }} | ( atyp ) :: S :: paren {{ icho [[atyp]] }} |