mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-10-26 13:27:39 +03:00
grammar: visual fix
This commit is contained in:
parent
e46d719895
commit
4505512191
@ -5,7 +5,7 @@
|
||||
|
||||
\maketitle{}
|
||||
|
||||
\par{expressions}
|
||||
\section{expressions}
|
||||
|
||||
\begin{grammar}
|
||||
\bfseries
|
||||
@ -47,7 +47,7 @@
|
||||
The grammar for types (\t/) is given in the \texttt{type-system} document.
|
||||
|
||||
|
||||
\par{values}
|
||||
\section{values}
|
||||
|
||||
\begin{grammar}
|
||||
\bfseries
|
||||
|
Loading…
Reference in New Issue
Block a user