Inference.curry 34.7 KB