.ghci
.gitignore
.travis.yml
.vim.custom
CHANGELOG.markdown
HLint.hs
LICENSE
README.markdown
Setup.lhs
comonad.cabal
coq
examples
src
tests