ListSpecifications.curry 1.67 KB