This folder contains various documentation for the `operational` package.
Files:
design.md
- Describes miscellanous design decisions.
examples/
- Extensive code examples.
proofs.md
- Proofs that the implementation is correct: monad laws, monad transformer classes.
tutorial-changes.md
- Documents changes how the library API and implementation differs from the Operational Monad Tutorial.