Filip Gralinski 499d14ed40 Update geval		2020-10-19 08:14:09 +02:00
..
Diff.hs	Update geval	2020-10-19 08:14:09 +02:00
SubmissionConditions.hs	Add a mini-language for defining condition on submissions and their variants	2018-09-21 10:57:13 +02:00