Matei Adriel 67fc636397 A ton of changes I forgot to commit		2022-09-12 13:50:02 +02:00
..
latex	A ton of changes I forgot to commit	2022-09-12 13:50:02 +02:00
purescript	oops, accidentally deleted shit	2022-08-10 16:43:26 +03:00