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.