Commit 03c61e56 authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

td6: typo

parent ee3a734b
......@@ -76,4 +76,4 @@ Au fait, comment peut-on spécifier une telle fonction `parse` ?
Obtenir de nouveau une petite calculatrice par extraction. Attention lors de l'extraction à faire le pont entre les `string` OCaml et les `string` Coq.
Autre piste possible: pour la partie analyseur grammatical, les dernières version de `menhir` semblent pouvoir directement produire du code Coq...
Autre piste possible: pour la partie analyseur grammatical, les dernières versions de `menhir` semblent pouvoir directement produire du code Coq...
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