package info
(click to toggle)
Folder: 0.17-1
.. (parent) | ||||
d | rwxr-xr-x | 104 | .pc | |
d | rwxr-xr-x | 4,096 | CHANGELOG | |
d | rwxr-xr-x | 152 | README | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 85 | notes | |
d | rwxr-xr-x | 4,096 | src | |
d | rwxr-xr-x | 54 | travis | |
- | rw-r--r-- | 82 | .boring | |
- | rw-r--r-- | 162 | .gitignore | |
- | rw-r--r-- | 1,073 | .mailmap | |
- | rw-r--r-- | 3,047 | .travis.yml | |
- | rw-r--r-- | 1,082 | AllNonAsciiChars.hs | |
- | rw-r--r-- | 36,791 | CHANGELOG.md | |
- | rw-r--r-- | 576 | GNUmakefile | |
- | rw-r--r-- | 4,052 | GenerateEverything.hs | |
- | rw-r--r-- | 3,420 | HACKING.md | |
- | rw-r--r-- | 278 | Header | |
- | rw-r--r-- | 1,594 | LICENCE | |
- | rw-r--r-- | 10,772 | README.agda | |
- | rw-r--r-- | 2,776 | README.md | |
- | rw-r--r-- | 47 | Setup.hs | |
- | rw-r--r-- | 799 | lib.cabal | |
- | rwxr-xr-x | 451 | publish-listings.sh | |
- | rw-r--r-- | 36 | standard-library.agda-lib |