title: lambda calculus successor function
body: <p>If the successor function can be written (in js) as:</p>
  <pre><code>const SUCC = n =&gt; f =&gt; x =&gt; f(n(f)(x));
  </code></pre>
  <p>Is the correct lambda notation for this:</p>
  <pre><code>λn.λf.λa.f(nfa)
  ==&gt; λnfa.f(nfa)
  </code></pre>
  <p>Or am I missing something here?</p>