I can drink with you! @masterq_mogumog
I moved to Mastodon.
-
証明図を読み書きできるようになろう!
6559pv 23 2 users 3 -
matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ
16016pv 110 15 users 3