Commit c18dd913 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Fix the READMEs

parent 7dbb48dd
......@@ -348,15 +348,15 @@ lexicon my_new_lex = lex_2 << lex_1
3. Keywords
The keywords are "signature, "lexicon, "nl_lexicon", "end", "type",
"prefix", "infix", "binder", "lambda", and "Lambda".
The keywords are `signature`, `lexicon`, `nl_lexicon`, `end`, `type`,
`prefix`, `infix`, `binder`, `lambda`, and `Lambda`.
The reserved symbols are '=', '<<', ';', ':', ',', '('), ')', '.',
'->', '=>', and ':='.
The reserved symbols are `=`, `<<`, `;`, `:`, `,`, `(`, `)`, `.`,
`->`, `=>`, and `:=`.
Inside a signature or a lexicon, "signature", "lexicon" and
"nl_lexicon" are not considered as keywords and can be used as
Inside a signature or a lexicon, `signature`, `lexicon` and
`nl_lexicon` are not considered as keywords and can be used as
identifier.
Other keywords can be used as identifier when escaped with '\' (e.g.,
"\end").
Other keywords can be used as identifier when escaped with `\` (e.g.,
`\end`).
......@@ -241,10 +241,10 @@ There are two ways to define a lexicon:
## Keywords
The keywords are "signature, "lexicon, "nl_lexicon", "end", "type", "prefix", "infix", "binder", "lambda", and "Lambda".
The keywords are `signature`, `lexicon`, `nl_lexicon`, `end`, `type`, `prefix`, `infix`, `binder`, `lambda`, and `Lambda`.
The reserved symbols are '=', '<<', ';', ':', ',', '('), ')', '.', '->', '=>', and ':='.
The reserved symbols are `=`, `<<`, `;`, `:`, `,`, `(`, `)`, `.`, `->`, `=>`, and `:=`.
Inside a signature or a lexicon, "signature", "lexicon" and "nl_lexicon" are not considered as keywords and can be used as identifier.
Inside a signature or a lexicon, `signature`, `lexicon` and `nl_lexicon` are not considered as keywords and can be used as identifier.
Other keywords can be used as identifier when escaped with '\' (e.g., "\end").
Other keywords can be used as identifier when escaped with `\` (e.g., `\end`).
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