Why is it called the lambda calculus anywayWhat is it calculating
@ionchy lambda calculus is when you have little rocks arranged in a λ shape
@Vierkantor @ionchy lambda calculus is when gordon halflife does calculus
@haskal @Vierkantor @ionchy
I think the actual explanation is even more amusing.
@emacsomancer @haskal @ionchy which one of the two possibilities (according to Wikipedia)? the "â -> ^a -> Λa -> λa" or the "eeny meeny miny moe" one?
@Vierkantor @emacsomancer @haskal oh I hate thât. give me eenie meenie miney moe
@Vierkantor @haskal @ionchy
That's a good question. The typographical possibility makes the most sense to me, but I suppose there are reasons to doubt it.
I've never played eenie meenie miney moe with greek letters before.
Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.