開催日時: 2026/09/13 20:30 ～ 22:00 開催場所: オンライン

λ KansaiのDiscord内で https://lean-lang.org/functional_programming_in_lean/ をやる会です！

今回は 3.2.3. Methods and Implicit Arguments から始めます！