.. _explanations:

Explanations
======================

This section clarifies particular topics.

.. include:: explanations/type_checking.inc
.. include:: explanations/type_inference.inc
.. include:: explanations/recursive.inc