Arthur 0bc81d70a5 Interface works		2021-02-17 12:00:02 +01:00
..
engine	Fixed rewritter	2021-02-09 17:20:22 +01:00
screen	Interface works	2021-02-17 12:00:02 +01:00
utils	improved parser + added rewriter to Main (currently not work correctly)	2021-02-05 22:35:05 +01:00
Main.java	Interface works	2021-02-17 12:00:02 +01:00
Type.java	Parser not accept '=' inside axiom anymore	2021-02-05 19:34:47 +01:00