BasicProperties.lidr 1.29 KB