U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
TIL that the "SKK = I" thing I've been carrying around in my head for at least 7 years now is not actually true intensionally, I never bothered to check
I mean, the way I rationalise Wikipedia's statement that SKK = I is only true extensionally is that, even though it works out on paper if you beta-reduce, the equation as is is not true _in the language of combinators_ because there's no way to reduce SKK there...I guess?
"behave the same way" is exactly extensional equality, right?
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
