diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md index 3fc6e25..8d59713 100644 --- a/README.md +++ b/README.md @@ -140,6 +140,7 @@ Default: `n`. <expr> ::= <expr> || <expr> -- disjunction | <expr> && <expr> -- conjunction + | <expr> ? <expr> : <expr> -- ternary operator | ! <expr> -- negation | ( <expr ) | <timeprop> <numop> <dur> |