package info
(click to toggle)
Folder: 0.8-2
.. (parent) | ||||
d | rwxr-xr-x | 84 | .pc | |
d | rwxr-xr-x | 133 | README | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 86 | ffi | |
d | rwxr-xr-x | 4,096 | src | |
- | rw-r--r-- | 82 | .boring | |
- | rw-r--r-- | 62 | .gitignore | |
- | rw-r--r-- | 1,082 | AllNonAsciiChars.hs | |
- | rw-r--r-- | 326 | GNUmakefile | |
- | rw-r--r-- | 2,886 | GenerateEverything.hs | |
- | rw-r--r-- | 302 | Header | |
- | rw-r--r-- | 1,509 | LICENCE | |
- | rw-r--r-- | 10,419 | README.agda | |
- | rw-r--r-- | 163 | README.md | |
- | rw-r--r-- | 47 | Setup.hs | |
- | rw-r--r-- | 522 | lib.cabal | |
- | rwxr-xr-x | 451 | publish-listings.sh | |
- | rw-r--r-- | 4,714 | release-notes |