package info
(click to toggle)
Folder: 2.1-4
 |
.. (parent) | |||
|
d | rwxr-xr-x | 75 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 4,096 | CHANGELOG |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 83 | dev |
|
d | rwxr-xr-x | 4,096 | doc |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 4,096 | tests |
 |
- | rw-r--r-- | 82 | .boring |
|
- | rw-r--r-- | 23 | .gitattributes |
|
- | rw-r--r-- | 378 | .gitignore |
|
- | rw-r--r-- | 1,073 | .mailmap |
|
- | rw-r--r-- | 1,476 | AllNonAsciiChars.hs |
|
- | rw-r--r-- | 28,612 | CHANGELOG.md |
|
- | rw-r--r-- | 231 | CITATION.cff |
|
- | rw-r--r-- | 812 | GNUmakefile |
|
- | rw-r--r-- | 13,982 | GenerateEverything.hs |
|
- | rw-r--r-- | 10,300 | HACKING.md |
|
- | rw-r--r-- | 277 | Header |
|
- | rw-r--r-- | 1,705 | LICENCE |
|
- | rw-r--r-- | 3,779 | README.md |
|
- | rw-r--r-- | 47 | Setup.hs |
|
- | rw-r--r-- | 1,051 | agda-stdlib-utils.cabal |
|
- | rw-r--r-- | 72 | cabal.haskell-ci |
|
- | rw-r--r-- | 122 | fix-whitespace.yaml |
|
- | rwxr-xr-x | 996 | graph.sh |
|
- | rwxr-xr-x | 451 | publish-listings.sh |
|
- | rw-r--r-- | 84 | stack-8.0.2.yaml |
|
- | rw-r--r-- | 148 | stack-8.10.5.yaml |
|
- | rw-r--r-- | 149 | stack-8.10.7.yaml |
|
- | rw-r--r-- | 85 | stack-8.2.2.yaml |
|
- | rw-r--r-- | 85 | stack-8.4.4.yaml |
|
- | rw-r--r-- | 85 | stack-8.6.5.yaml |
|
- | rw-r--r-- | 84 | stack-8.8.2.yaml |
|
- | rw-r--r-- | 84 | stack-8.8.3.yaml |
|
- | rw-r--r-- | 85 | stack-8.8.4.yaml |
|
- | rw-r--r-- | 85 | stack-9.0.2.yaml |
|
- | rw-r--r-- | 85 | stack-9.2.8.yaml |
|
- | rw-r--r-- | 84 | stack-9.4.5.yaml |
|
- | rw-r--r-- | 94 | stack-9.6.2.yaml |
|
- | rw-r--r-- | 85 | standard-library.agda-lib |