Ended 2021/12/03(Fri) 22:00〜
SoPL輪読会#16
Theorem 2.19 ~ Lemma 2.21, Exercise 2.10 ~ 2.14
lawtwai
オンライン
Haskell with Skype
スライドはありません。
動画はありません。
ブログはありません。