package info (click to toggle)
agda-stdlib 0.12-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 1,760 kB
  • sloc: haskell: 103; sh: 21; makefile: 20; lisp: 1

Folder: 0.12-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 133 README
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 34 doc
d d rwxr-xr-x 32 notes
d d rwxr-xr-x 4,096 src
- - rw-r--r-- 82 .boring
- - rw-r--r-- 160 .dropbox_uploader.enc
- - rw-r--r-- 132 .gitignore
- - rw-r--r-- 1,073 .mailmap
- - rw-r--r-- 1,753 .travis.yml
- - rw-r--r-- 1,082 AllNonAsciiChars.hs
- - rw-r--r-- 10,270 CHANGELOG
- - rw-r--r-- 344 GNUmakefile
- - rw-r--r-- 2,933 GenerateEverything.hs
- - rw-r--r-- 950 HACKING
- - rw-r--r-- 302 Header
- - rw-r--r-- 1,555 LICENCE
- - rw-r--r-- 10,239 README.agda
- - rw-r--r-- 159 README.md
- - rw-r--r-- 47 Setup.hs
- - rwxr-xr-x 165 index.sh
- - rw-r--r-- 614 lib.cabal
- - rwxr-xr-x 451 publish-listings.sh
- - rw-r--r-- 36 standard-library.agda-lib