mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-08-17 08:40:28 +03:00
grammar: visual fix
This commit is contained in:
parent
1aa3d55b66
commit
5d04ae05d1
@ -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