CurryCheck.curry 72.6 KB