Semantics
=========

.. sectionauthor:: Ernesto Soto Gómez <esto.yinyang@gmail.com>
.. codeauthor:: Ernesto Soto Gómez <esto.yinyang@gmail.com>


This section contains the exposition of the semantics of the expressions. The exposition is done with just the necessary rigor to understand the meaning of any expression without being complete or clearly delineated between denotational, operational and axiomatic aspects.

.. toctree::
    :maxdepth: 2
    :caption: Contents:

    Expressions <expressions/index>

.. todo:: development

   .. todo:: Divide in *expressions*, *generation*, *managing*, etc.