matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ - Togetterまとめ https://togetter.com/li/752948
ふーぬ
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。