(Changed category Monads to Monad)
(→What is it?)
Revision as of 16:58, 18 June 2012
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