thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-08-16 16:20:47 +03:00
Code Issues Projects Releases Wiki Activity

grammar: use orthplus for record values

Browse Source
This commit is contained in:
regnat 2017-04-11 08:19:48 +02:00
parent 4505512191
commit fe2a116939
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
grammar/grammar.tex
View File

@ -55,7 +55,7 @@ The grammar for types (\t/) is given in the \texttt{type-system} document.
<v> ::=
\c/
\alt \p/:\e/
\alt \{ \v/ = \e/; $\cdots{}$; \v/ = \e/; \}
\alt \{ \v/ = \e/; \} $\orthplus \cdots{} \orthplus$ \{ \v/ = \e/; \}
\alt Cons(\e/, \e/) \| nil
\end{grammar}
\end{document}