Skip to content

Latest commit

 

History

History
27 lines (19 loc) · 764 Bytes

index.rst

File metadata and controls

27 lines (19 loc) · 764 Bytes
Raw

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