Re: Arbitrary function: find the number(s) of expected arguments

[Eli Zaretskii]

> From: Philipp Stephani <address@hidden>
> Date: Sat, 19 Mar 2016 17:49:46 +0000
> Cc: address@hidden, address@hidden
> 
>  I guess we'll have to disagree about that.
> 
> You could convince me by posting a generic implementation that would figure 
> out the arity of g without
> executing it. 

You could convince me by posting a formal proof that such an
implementation is impossible.