Arthur 2c52427f88 Deleting Listener.		2021-02-17 10:40:39 +01:00
..
engine	Fixed rewritter	2021-02-09 17:20:22 +01:00
screen	Deleting Listener.	2021-02-17 10:40:39 +01:00
utils	improved parser + added rewriter to Main (currently not work correctly)	2021-02-05 22:35:05 +01:00
Main.java	Adding Listeners.	2021-02-17 10:39:10 +01:00
Type.java	Parser not accept '=' inside axiom anymore	2021-02-05 19:34:47 +01:00