index.rst

.. _st-tutorial-index:

##########################################################
Implementing State-aware Systems in Idris: The ST Tutorial
##########################################################

A tutorial on implementing state-aware systems using 
the `Control.ST` library in `Idris`.

.. note::

   The documentation for Idris has been published under the Creative
   Commons CC0 License. As such to the extent possible under law, *The
   Idris Community* has waived all copyright and related or neighbouring
   rights to Documentation for Idris.

   More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/

.. toctree::
   :maxdepth: 1

   introduction
   state
   machines
   composing
   examples