Resolution.curry 30.9 KB