Johannes Merl 0d31c09189 variation 3		2024-05-09 09:21:52 +02:00
..
LambdaDatasets	variation 3	2024-05-09 09:21:52 +02:00
Main.hs	switch to german Dataset	2024-05-09 09:00:48 +02:00