CurryCheck.curry 72.5 KB