| #
a345ee63 |
|
07-Aug-2017 |
Ramana Kumar <ramana@member.fsf.org> |
Avoid ARB in simpleSexp grammar and parser
|
| #
3f96182e |
|
06-Mar-2017 |
Ramana Kumar <ramana@member.fsf.org> |
Fix simpleSexpPEG
Fallout from 099a4487eaa2f9c1f635616d600ed460e249bb58
|
| #
5f72e477 |
|
10-Feb-2017 |
H.Feree <h.feree@kent.ac.uk> |
Cleaner approach of location in parser
|
| #
a2116435 |
|
25-Sep-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Improve sexp parsing to handle dotted lists better
Also move some peg_eval theorems from CakeML to pegTheory and use these
to simplify proof about valid symbols.
|
| #
fa568621 |
|
24-Sep-2015 |
Ramana Kumar <ramana@member.fsf.org> |
define valid_sexp
the only restriction is on symbols (hopefully that's enough for parsing
back what's printed)
|
| #
d126ddb9 |
|
24-Sep-2015 |
Ramana Kumar <ramana@member.fsf.org> |
save fdom and applieds, and clean saved theorem names in simpleSexpPEG
|
| #
e8b1de20 |
|
24-Sep-2015 |
Ramana Kumar <ramana@member.fsf.org> |
fix sexpPEG so it is wfG (and still passes tests)
rather ugly peg expression for sexpnum, but seems hard to avoid
|
| #
d017fb2f |
|
23-Sep-2015 |
Ramana Kumar <ramana@member.fsf.org> |
prove sexpPEG is NOT well-formed
|
| #
05199544 |
|
20-Sep-2015 |
Konrad Slind <konrad.slind@gmail.com> |
playground for formal language theory developments.
|