Matei Adriel f17b922131 Lots of latex stuff and idk what else (timezone change!)		2022-09-09 00:16:11 +02:00
..
latex	Lots of latex stuff and idk what else (timezone change!)	2022-09-09 00:16:11 +02:00
purescript	oops, accidentally deleted shit	2022-08-10 16:43:26 +03:00