Cheat-sheet: minor adjustments

This commit is contained in:
Louis Gesbert 2024-04-22 11:11:55 +02:00
parent 62c9500b63
commit 36ca23eb89
4 changed files with 5 additions and 5 deletions

View File

@ -241,7 +241,7 @@ declaration x content integer equals
in
let x equals
content of x among lst
such that (x * x) is minimum
such that x * x is minimum
or if list empty then -1
in
0

View File

@ -187,7 +187,7 @@
\begin{catala}
> Using Mdl as M
\end{catala}
& Module import w/ alias
& Module import+alias
\\
\begin{catala}
> Include: foo.catala_en
@ -733,7 +733,7 @@
\begin{catala}
```catala
content of x among lst
such that (x * x) is minimum
such that x * x is minimum
or if list empty then -1
```
\end{catala}

View File

@ -239,7 +239,7 @@ déclaration x contenu entier égal à
dans
soit x égal à
contenu de x parmi lst
tel que (x * x) est minimum
tel que x * x est minimum
ou si liste vide alors -1
dans
0

View File

@ -738,7 +738,7 @@
\begin{catala}
```catala
contenu de x parmi lst
tel que (x * x) est minimum
tel que x * x est minimum
ou si liste vide alors -1
```
\end{catala}