diff options
| author | David A. Madore <david+git@madore.org> | 2025-01-23 10:49:45 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2025-01-23 10:49:45 +0100 |
| commit | 493d2330e0b21ab52b6ee02ca1a0e448fc15d05c (patch) | |
| tree | 01cba5bce89f55ae5733f9da5b1513592a48957c | |
| parent | 00f83611f70ef62eb2287e9800482f6a38f2ad27 (diff) | |
| download | inf110-lfi-493d2330e0b21ab52b6ee02ca1a0e448fc15d05c.tar.gz inf110-lfi-493d2330e0b21ab52b6ee02ca1a0e448fc15d05c.tar.bz2 inf110-lfi-493d2330e0b21ab52b6ee02ca1a0e448fc15d05c.zip | |
Clarify syntax with extra parentheses.
| -rw-r--r-- | controle-20250129.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/controle-20250129.tex b/controle-20250129.tex index 825e326..474e0c9 100644 --- a/controle-20250129.tex +++ b/controle-20250129.tex @@ -383,7 +383,7 @@ Dans cet exercice, on donne un terme de preuve Coq et on demande de retrouver le \smallskip -\textbf{(1)} \verb|fun H : A => H| +\textbf{(1)} \verb|fun (H : A) => H| \smallskip @@ -391,7 +391,7 @@ Dans cet exercice, on donne un terme de preuve Coq et on demande de retrouver le \smallskip -\textbf{(3)} \verb|fun (H1 : A -> B) (H2 : ~ B) => (fun H3 : A => H2 (H1 H3))| +\textbf{(3)} \verb|fun (H1 : A -> B) (H2 : ~ B) => (fun (H3 : A) => H2 (H1 H3))| \begin{corrige} \smallskip |