Eta-expansion is a better basis for eta-equivalence than eta-reduction, despite the fact that its unrestricted use leads to nontermination (although this is fixable in a typed setting).https://twitter.com/acaguy/status/1220092680664952833 …
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
Eta-expansion is a better basis for eta-equivalence than eta-reduction, despite the fact that its unrestricted use leads to nontermination (although this is fixable in a typed setting).https://twitter.com/acaguy/status/1220092680664952833 …
