mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-08-16 16:20:47 +03:00
Fix typesetting in reduction contexts
This commit is contained in:
parent
ef5b2c837d
commit
eb5abd20f1
@ -53,9 +53,9 @@ figure~\pref{fig:semantics:nix-light:patterns}
|
||||
\begin{figure}
|
||||
\begin{grammar}
|
||||
\bfseries
|
||||
<E> ::= [] \| \meta{E e}
|
||||
<E> ::= [] \| \meta{E} \meta{e}
|
||||
\alt \meta{E.a} \| \meta{E.a} or \meta{e} \| \meta{v.F} \| \meta{v.F} or \meta{e}
|
||||
\alt \{ \v/ = \e/; \ldots{}; \v/ = \e/; \E/ = \e/; \ldots{}; \e/ = \e/ \}
|
||||
\alt \{ \v/ = \e/; $\cdots{}$; \v/ = \e/; \E/ = \e/; $\cdots{}$; \e/ = \e/ \}
|
||||
\alt with \E/; \e/ | if \E/ then \e/ else \e/
|
||||
|
||||
<F> ::= \E/.\a/ \| \v/.\meta{F}
|
||||
|
Loading…
Reference in New Issue
Block a user