Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 01460ddf authored by Glen Mével's avatar Glen Mével
Browse files

ICFP21 paper: tweak figures to avoid running into margin

parent a507b362
......@@ -31,6 +31,7 @@
}
\end{codeblock}\)
%\hfill
\hspace{-4mm}
\(\begin{codeblock}[]
\Let* {\pname{pipef}} {\nbelems,\refXArray,\refYQueue,f} {%
\For* \idx 0 {\nbelems-1} {%
......
\begin{figure}
\[\begin{array}{rcl}
\[\begin{array}{@{}r@{\enspace}c@{\enspace}l@{}}
% the queue:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment