Profile
Masanori Ogino 𓀁

Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 6 years ago
るじゃ

るじゃ Lugendre

型理論は実用的なライブラリ使う時点で最低限の型レベルの話要求されてつらいねって気持ち

@omasanori Account List
omasanori@mstdn.maud.io 56118
Recent
2022-12-22 40 2022-12-21 40 2022-12-20 29 2022-12-19 11 2022-12-18 40 2022-12-17 40 2022-12-16 40 2022-12-14 40 2022-12-13 40 2022-12-11 1
Archives