depsterr d9ae2671d6 restructured, made prettier and more proper		2021-09-20 14:19:48 +02:00
..
Main.hs	restructured, made prettier and more proper	2021-09-20 14:19:48 +02:00