CurryCheck.curry 74.2 KB