TestAppendix.curry 4.09 KB