Lean #06
3.4.3・3.5.4・3.6.4 答え合わせと 3.7 から
3.7 依存型
usabarashi.icon「A上の関数 f 」という読み方が新鮮だった
第4章
Repr と ToString の違い
usabarashi.icon OOP のインスタンスのことは忘れてください 😂