Programming tutorials
=====================

This page groups documentation about some specific aspects of programming within the Mavkit code base.
This covers libraries and frameworks available in Mavkit, but also guidelines for applying more general programming techniques, such as GADTs, to Mavkit.

.. toctree::
   :maxdepth: 2

   gadt
   error_monad
   clic
   data_encoding
   event_logging_framework