Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

自分も最初は (A → A) ∨ (B → B) かと思ったんだけど、これだと f: A → A や g: B → B が当てはまる型になってしまって、A → A と B → B の両方を満たす制約にはならないということだと理解した。