title: How to iterate or repeat untyped function n times?
body: <p>I'm practicing with OCaml compiler and I'm doing a small assignment where we have to implement Church numerals defined as:</p>
  <p><code>zz = pair c0 c0; ss = λp. pair ( snd p) ( plus c1 (snd p)); prd = λm. fst (m ss zz );</code></p>
  <p>and to calculate the ss i wanna implement plus:</p>
  <p><code>plus = λm. λn. λs. λz. m s (n s z)</code></p>
  <p>so my question is, how to implement funtion plus, like n times succ 0?</p>
  <p>I've tried like
  <code>plus = lambda m. lambda n. lambda s. lambda z. m s (n s z);</code>
  but it is not correct in the compiler.</p>
  <p>I've notice that I work in the OCaml compiler and write all my functions in the func.f file not in the .ml file</p>
  <p><strong><a href="https://www.cis.upenn.edu/%7Ebcpierce/tapl/" rel="nofollow noreferrer">https://www.cis.upenn.edu/~bcpierce/tapl/</a></strong> code is from there, fulluntyped folder</p>