Glossary
========

.. glossary::
   :sorted:

   ADT
       Algebraic data type.

   tag
       The run-time type information of an object.

   catamorphism
       A structural transformation.