CurryCheck.curry 63.4 KB