1 What is it?
The operational library makes it easy to implement monads with tricky control flow.
The idea is to identify a set of primitive instructions and to specify their operational semantics. Then, the library makes sure that the monad laws hold automatically. Ditto for monad transformers.
2 Releases and Resources
- Feedback and Contact