diff options
| author | David A. Madore <david+git@madore.org> | 2023-12-15 06:58:47 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-12-15 06:58:47 +0100 |
| commit | 390271345644bc016f2f456ea770e2a1b59da703 (patch) | |
| tree | d08e4c6f3b7c05d18346616f3d522b0c2a2fcf19 /transp-inf110-02-typage.tex | |
| parent | 9c16b52c71af649970a98341fc2efb2b3fcaa291 (diff) | |
| download | inf110-lfi-390271345644bc016f2f456ea770e2a1b59da703.tar.gz inf110-lfi-390271345644bc016f2f456ea770e2a1b59da703.tar.bz2 inf110-lfi-390271345644bc016f2f456ea770e2a1b59da703.zip | |
Typo.
(Thanks, Cyrille Deuss.)
Diffstat (limited to 'transp-inf110-02-typage.tex')
| -rw-r--r-- | transp-inf110-02-typage.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index d0347c4..4add232 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -3355,7 +3355,7 @@ qu'on peut appeler avec un argument $v$ : \item la continuation elle-même ne termine jamais (puisque c'est, justement, une continuation : elle \alert{remplace} la pile d'appels par celle qui a été capturée), -\item alle a pour effet de faire retourner $v$ au call/cc qui l'a +\item elle a pour effet de faire retourner $v$ au call/cc qui l'a créée. \end{itemize} |