最終更新日:2022/12/24
This version of length arises naturally from the recursive definition of a list: “a list is either the empty list or an element consed onto another list.”
編集履歴(0)
This version of length arises naturally from the recursive definition of a list: “a list is either the empty list or an element consed onto another list.”