Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 4 years ago
B̅ cmplstofB@mathtod.online
気になるとはいえそもそも「部分継続」自体初耳なんでアレ。
とはいえLaTeX界隈で話題になってたSATySFiの作者が型機構やλ計算をTwitterで熱弁していらっしゃったので興味だけはある。