I\'m playing around in Coq, trying to create a sorted list. I just wanted a function that takes a list [1,2,3,2,4] and would return something like Sorted [1,2,3,4] - i.e. taking out the bad parts, but
小芳 李春波 专辑：小芳 语种：国语 流派：Pop 发行时间：1993-06-01 本歌词于吾爱知道站收集
加载中,请稍侯......