docs(syntax): add the duration division operator + fix the catala_en syntax highlighting

This commit is contained in:
EmileRolley 2021-05-30 13:18:47 +02:00
parent 4e53358fd6
commit b32f0bf0a4
3 changed files with 22 additions and 6 deletions

View File

@ -1,4 +1,7 @@
syntax.pdf: syntax.tex
latexmk -pdf -halt-on-error -shell-escape -pvc syntax.tex
.PRECIOUS .SECONDARY: syntax.pdf
clean:
latexmk -C syntax.tex
.PRECIOUS .SECONDARY: syntax.pdf

Binary file not shown.

View File

@ -24,10 +24,6 @@ v.0.2.0
\begin{multicols*}{2}
\section*{Literate programming}
\begin{center}
\begin{tabular}{p{0.15\columnwidth}p{0.275\columnwidth}p{0.275\columnwidth}}
@ -1465,6 +1461,23 @@ Duration substraction&
\end{minted}
\vspace*{-1.75em}
\\
Duration division&
\vspace*{-1.75em}
\begin{minted}{catala_en}
```catala
(duration) /^ (duration)
```
\end{minted}
\vspace*{-1.75em}
&
\vspace*{-1.75em}
\begin{minted}{catala_fr}
```catala
(durée) /^ (durée)
```
\end{minted}
\vspace*{-1.75em}
\\
Duration comparison&
\vspace*{-1.75em}
\begin{minted}{catala_en}
@ -1489,4 +1502,4 @@ Duration comparison&
\end{multicols*}
\end{document}
\end{document}