TestAppendix.curry 1.43 KB