I can't drink until I finish my diet. @masterq_mogumog
I moved to Mastodon.
-
Elmのメリッドデメリット
2774pv 1 user -
めたせぴ2015☆ゆく年くる年 草稿
1115pv 1 1 -
#ATS2 言語の静的な関数を理解しよう
1430pv 5
-
松屋 青葉台店 一時閉店の記録
6578pv 9 -
#ATS2 の作者Hongwei Xiの研究室に行ってきたよ
2540pv 10 1 user 12 -
証明図を読み書きできるようになろう!
6542pv 23 2 users 3 -
matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ
15997pv 110 15 users 3