Module arithmetic
=================

.. toctree::
   :maxdepth: 2

.. automodule:: lambda_calculus.terms.arithmetic
    :members: