181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
型理論は実用的なライブラリ使う時点で最低限の型レベルの話要求されてつらいねって気持ち