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

typos

parent c3ecc58f
......@@ -52,7 +52,7 @@ Print RestrictedBar.t.
Compute (RestrictedBar.cons _ 1 (RestrictedBar.empty _)).
(** Un "functeur" (functor en anglais) est un module paramétré
(** Un "foncteur" (functor en anglais) est un module paramétré
par un autre module.
*)
......
......@@ -68,7 +68,7 @@ Note: pour utiliser `menhir` sur les machines de la 2004, taper ceci dans votre
export PATH=~pletouze/bin:$PATH
```
#### Optionel : analyse syntaxique en Coq
#### Optionnel : analyse syntaxique en Coq
Coq fournit un type `string` (après `Require Import Ascii String`). Il n'est donc pas impossible de réaliser directement en Coq un analyseur syntaxique `parse: string -> option expr`, tel que `parse "1+2*(3+4)"` donne `Some (Plus (Num 1) (Mult (Num 2) (Plus (Num 3) (Num 4)))))`.
......
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