Why is it called the lambda calculus anyway
What is it calculating

Follow

@ionchy lambda calculus is when you have little rocks arranged in a λ shape

@emacsomancer @haskal @ionchy which one of the two possibilities (according to Wikipedia)? the "â -> ^a -> Λa -> λa" or the "eeny meeny miny moe" one?

@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.

Sign in to participate in the conversation
Vachtnoes

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.