package info (click to toggle)
agda 2.2.6-7
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 2,520 kB
  • ctags: 335
  • sloc: haskell: 30,679; lisp: 2,136; yacc: 879; makefile: 4; ansic: 2

Folder: 2.2.6-7

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 26 dist
d d rwxr-xr-x 34 doc
d d rwxr-xr-x 60 src
- - rw-r--r-- 12,581 Agda.cabal
- - rw-r--r-- 2,869 LICENSE
- - rw-r--r-- 10,677 README
- - rw-r--r-- 47 Setup.hs