This folder contains various documentation for the `operational` package.

Files:

<dl>
<dt><a href="design.md"><code>design.md</code></a>
    <dd>Describes miscellanous design decisions.
<dt><a href="examples/"><code>examples/</code></a>
    <dd>Extensive <b>code examples</b>.
<dt><a href="proofs.md"><code>proofs.md</code></a>
    <dd>Proofs that the implementation is correct: monad laws, monad transformer classes.
<dt><a href="tutorial-changes.md"><code>tutorial-changes.md</code></a>
    <dd>Documents changes how the library API and implementation differs from the Operational Monad Tutorial.
</dl>