9 Commits

Author	SHA1	Message	Date
Felix Roos	cb13eb7f3b	remove now redundant style	2022-05-20 00:15:10 +02:00
Felix Roos	c643f10530	tutorial toc	2022-05-19 17:16:28 +02:00
Felix Roos	ae81f6d573	MiniRepl: hideOutsideView flag	2022-05-19 08:39:51 +02:00
Felix Roos	6c6ea3ab9f	fix favicon	2022-05-17 22:47:35 +02:00
Felix Roos	806c8925c9	new build script + fix draw	2022-05-17 22:45:23 +02:00
Felix Roos	ed35f967b0	migrate repl + move imports out of minirepl	2022-05-17 22:27:22 +02:00
Felix Roos	b8a0559012	react packaging	2022-05-17 21:40:17 +02:00
Felix Roos	1cbf4c8c7e	fix name collision	2022-05-14 23:39:31 +02:00
Felix Roos	446ddc2c11	pull out tutorial	2022-05-14 22:11:29 +02:00