haskell-jp / random #103 at 2023-05-28 09:36:04 +0900

igrep
2023-05-28 09:36:04 +0900
空のコレクションに対するanyとandの話、Haskell以外も含めて定期的に見かける気がします
https://twitter.com/graninas/status/1662050645166424074
naohaq
2023-05-31 08:43:38 +0900
∀x∈X, P(x). が X=∅ のときは真か偽か、という話ですね。