stateWriter

A rewrite of the RWS monad, where the Writer part is actually handled like strict state so that it doesn't leak memory.

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
Control/Monad		Control/Monad
bench		bench
tests		tests
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
proof.v		proof.v
stateWriter.cabal		stateWriter.cabal

Provide feedback