TestAppendix.curry 4.27 KB