Resolution.curry 31.2 KB