Package terms .. toctree:: :maxdepth: 2 terms/abc terms/logic terms/arithmetic terms/pairs terms/combinators .. automodule:: lambda_calculus.terms :members: :special-members: __iter__, __str__