package info (click to toggle)
agda-stdlib 1.3-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 5,500 kB
  • sloc: haskell: 246; sh: 30; makefile: 21; lisp: 1

Folder: 1.3-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 CHANGELOG
d d rwxr-xr-x 4,096 README
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 131 notes
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 70 travis
- - rw-r--r-- 82 .boring
- - rw-r--r-- 23 .gitattributes
- - rw-r--r-- 237 .gitignore
- - rw-r--r-- 1,073 .mailmap
- - rw-r--r-- 5,064 .travis.yml
- - rw-r--r-- 1,082 AllNonAsciiChars.hs
- - rw-r--r-- 36,685 CHANGELOG.md
- - rw-r--r-- 929 GNUmakefile
- - rw-r--r-- 10,387 GenerateEverything.hs
- - rw-r--r-- 5,109 HACKING.md
- - rw-r--r-- 278 Header
- - rw-r--r-- 1,672 LICENCE
- - rw-r--r-- 11,010 README.agda
- - rw-r--r-- 3,504 README.md
- - rw-r--r-- 47 Setup.hs
- - rw-r--r-- 114 fix-whitespace.yaml
- - rw-r--r-- 849 lib.cabal
- - rwxr-xr-x 451 publish-listings.sh
- - rw-r--r-- 36 standard-library.agda-lib