Andreas Rossberg (2015-06-29T17:20:18.000Z)
d at domenic.me (2015-07-07T02:08:50.611Z)
On 24 June 2015 at 22:56, Jason Orendorff <jason.orendorff at gmail.com> wrote: > That is, λx.f(x) = f, a sort of beta-equivalence rule, Nitpick: this equivalence is eta, not beta. Unfortunately, I don't have anything more profound to add. But it's a good question. Maybe it's an indication that we should not add function.sent?