< Dalinar> `forall` is in a way universal quantification <ht kotlinlang #functional

<@U0NPL9MPU> `forall` is in a way universal quanti...

raulraja

06/26/2017, 2:59 PM

@Dalinar

forall

is in a way universal quantification: https://en.wikipedia.org/wiki/Universal_quantification whereas if you really want to prove an expression is valid for at least one element in Scala is done with

exist

but not sure Kotlin has that