>tfw too beta to alpha convert
>tfw too alpha to beta reduce
>>8610296
Is this calc 3?
>>8610358
LAL
>got a function expression and a suitable argument term
>there's an App for that
>>8610358
10/10 lol
>>8610358
Yes. It's a different formalism for nondeterministic multivalued integration. Here there are three rules of inference which imply a triple nondeterministic multivalued integral.
>>8610358
its the simply typed lambda calculus
https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus