Agda files for LMCS paper "What monads can and cannot do with a few extra pages"
Dataset:
Dataset Types
Software
Dataset Information
Date made available
2025-06-04Publisher
ZENODODescription
These agda files accompany the paper "What monads can and cannot do with a few extra pages", by Rasmus Møgelberg and Maaike Zwart. In the agda files, claims about existing distributive laws and algebraic combinations of the delay monad with the reader, writer, state, and selection monad are proven.
Cite this dataset
Brief description
Maaike Zwart. (2025). Agda files for LMCS paper "What monads can and cannot do with a few extra pages". 10.5281/zenodo.15593221