Implement monads by specifying instructions and their desired operational semantics.
No resources for this project.