4 Commits

Author	SHA1	Message	Date
Kuba Orlik	e1d97f0411	typecheck fixes checkpoint	2022-07-09 15:28:37 +02:00
Kuba Orlik	7118a597f1	remove logs	2022-07-08 12:53:34 +02:00
Kuba Orlik	052eb5eb89	Improve wording and explainers	2022-07-07 19:59:16 +02:00
Arkadiusz Wieczorek	39a7e34cb4	Cleanup files, split sidebar and toolbar	2022-04-13 11:44:59 +02:00