Commit 58c7c106 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO idea.

parent 4864d003
...@@ -18,6 +18,8 @@ ...@@ -18,6 +18,8 @@
the known shape of the stack, the known shape of the stack,
the known lhs of all items in the state, the known lhs of all items in the state,
the possible continuations...? the possible continuations...?
Idea: investigate the use of placeholders (in the message)
that could be filled with dynamic information!
* Dans les avantages de Menhir versus ocamlyacc (dans la doc et * Dans les avantages de Menhir versus ocamlyacc (dans la doc et
sur la page Web), ajouter le back-end Coq, l'API incrémentale sur la page Web), ajouter le back-end Coq, l'API incrémentale
......
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