package info
(click to toggle)
Folder: 4.2-1
.. (parent) | ||||
d | rwxr-xr-x | 136 | .pc | |
d | rwxr-xr-x | 28 | coq | |
d | rwxr-xr-x | 152 | debian | |
d | rwxr-xr-x | 31 | examples | |
d | rwxr-xr-x | 43 | src | |
d | rwxr-xr-x | 33 | tests | |
- | rw-r--r-- | 85 | .ghci | |
- | rw-r--r-- | 68 | .gitignore | |
- | rw-r--r-- | 782 | .travis.yml | |
- | rw-r--r-- | 767 | .vim.custom | |
- | rw-r--r-- | 433 | CHANGELOG.markdown | |
- | rw-r--r-- | 83 | HLint.hs | |
- | rw-r--r-- | 1,302 | LICENSE | |
- | rw-r--r-- | 1,755 | README.markdown | |
- | rw-r--r-- | 2,468 | Setup.lhs | |
- | rw-r--r-- | 2,315 | comonad.cabal |