はなだ☆のぶかず@動画編集始めました @nobkz
動画編集始めました。LispとRustグラフィカルプログラミングとかhttps://t.co/l00WAySNwM https://t.co/8HLq9X5La4 最近更新してるやつ。https://t.co/OM5QFwlH20 https://t.co/Qt7HQuTdFE
-
matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ
15991pv 110 15 users 3