package info (click to toggle)
agda-stdlib 0.3-3
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 1,124 kB
  • ctags: 1
  • sloc: haskell: 78; sh: 33; makefile: 11; lisp: 2

Folder: 0.3-3

d .. (parent)
d d rwxr-xr-x 29 README
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 src
- - rw-r--r-- 71 .boring
- - rw-r--r-- 888 AllNonAsciiChars.hs
- - rw-r--r-- 10,851 Everything.agda
- - rw-r--r-- 140 GNUmakefile
- - rw-r--r-- 2,482 GenerateEverything.hs
- - rw-r--r-- 270 Header
- - rw-r--r-- 1,241 LICENCE
- - rw-r--r-- 9,127 README.agda
- - rw-r--r-- 773 README.txt
- - rw-r--r-- 1,557 release-notes