The 'operational' package

Implement monads by specifying instructions and their desired operational semantics.

Download

Documentation

Authors

Heinrich Apfelmus, April 2010