Commit graph

3 commits

Author SHA1 Message Date
56f45c5b15 Cast int to string to fix printing int. 2023-06-05 22:06:35 +02:00
94fb108cf6 removed "self" argument. 2023-06-05 21:59:11 +02:00
56b34cd083 Major refactoring now using State instead of ProotState.
Expect runtime bugs
2023-06-05 21:44:27 +02:00