CurryCheck.curry 76.7 KB