|
|
651e3aed40
|
improved parser + added rewriter to Main (currently not work correctly)
|
2021-02-05 22:35:05 +01:00 |
|
|
|
203845dcca
|
Parser not accept '=' inside axiom anymore
|
2021-02-05 19:34:47 +01:00 |
|
|
|
ba570154e4
|
Moved Parser and refactored isCorrect method in Parser
|
2021-02-05 19:28:55 +01:00 |
|
Arthur
|
cab689070c
|
final parser and adding of iterations number
|
2021-02-03 10:05:31 +01:00 |
|
Arthur
|
049e3aeda7
|
parser
|
2021-02-02 18:02:10 +01:00 |
|
Quentin Legot
|
664d3ed06d
|
implemented rewritter
|
2021-02-02 17:57:42 +01:00 |
|
Quentin Legot
|
2216561506
|
added first parser implementation
|
2021-02-02 16:07:08 +01:00 |
|
Quentin Legot
|
0d8d0a68f2
|
Added main
|
2021-02-02 15:46:38 +01:00 |
|
