MixedExamples.curry 1.08 KB