mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-09-11 13:00:34 +03:00
grammar: remove the "assert" construct
`assert e1; e2` is morally equivalent to `if e1 then ⊥ else e2`
This commit is contained in:
parent
e89129ee3d
commit
7912d99a41
@ -20,7 +20,7 @@
|
||||
\alt e.a | e.a or e
|
||||
\alt p:e | e e
|
||||
\alt [ e ... e ] | \{ e = e; ...; e = e; \}
|
||||
\alt with e; e | assert e; e
|
||||
\alt with e; e
|
||||
\alt if e then e else e
|
||||
\alt let x = e; ...; x = e; in e
|
||||
\textcolor{blue}{\alt e :: e | nil}
|
||||
|
Loading…
Reference in New Issue
Block a user