If n is a natural number, then one more than n is one, too. ... 这些例子让我们想到了表的构造过程,我们从empty出发,通过cons连接更多的元素, ...
確定! 回上一頁