List 型を紹介する

普通のプログラミング言語のレファレンスならデータ構造についての解説は必須。

Lean by Example でもさぼらずにこういう基本的なデータ構造の解説をやっていきたい。