Folders and files

Name		Name	Last commit message	Last commit date
Latest commit History 56 Commits
src/Control/Monad		src/Control/Monad
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
trace.cabal		trace.cabal

Repository files navigation

README
MIT license

A monad transformer for tracing error provenience. If you want a nice example of how to use it, this bidirectional type checker provides a very nice example and motivation.