Commit d5b01fc2 authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

td6.md : typo dans expr

parent 03c61e56
......@@ -6,7 +6,7 @@ TD6 : Manipulation d'expressions, extraction
On considère le type suivant des expressions arithmétiques `expr` défini en Coq par:
```coq
Inductive expr :
Inductive expr :=
| Num : nat -> expr (* Constante numérique: n *)
| Plus : expr -> expr -> expr (* Expression somme: e1 + e2 *)
| Mult : expr -> expr -> expr. (* Expression produit: e1 * e2 *)
......
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