package info (click to toggle)
agda-stdlib 0.8-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 1,768 kB
  • ctags: 1
  • sloc: haskell: 119; sh: 18; makefile: 15; lisp: 1

Folder: Data

d .. (parent)
d d rwxr-xr-x 56 AVL
d d rwxr-xr-x 56 Bool
d d rwxr-xr-x 37 BoundedVec
d d rwxr-xr-x 40 Colist
d d rwxr-xr-x 121 Container
d d rwxr-xr-x 4,096 Fin
d d rwxr-xr-x 33 Graph
d d rwxr-xr-x 108 Integer
d d rwxr-xr-x 4,096 List
d d rwxr-xr-x 33 M
d d rwxr-xr-x 30 Maybe
d d rwxr-xr-x 4,096 Nat
d d rwxr-xr-x 31 Product
d d rwxr-xr-x 36 Sign
d d rwxr-xr-x 4,096 Star
d d rwxr-xr-x 30 Unit
d d rwxr-xr-x 81 Vec
d d rwxr-xr-x 33 W
- - rw-r--r-- 16,843 AVL.agda
- - rw-r--r-- 11,091 Bin.agda
- - rw-r--r-- 1,764 Bool.agda
- - rw-r--r-- 2,173 BoundedVec.agda
- - rw-r--r-- 2,071 Char.agda
- - rw-r--r-- 1,301 Cofin.agda
- - rw-r--r-- 17,435 Colist.agda
- - rw-r--r-- 1,569 Conat.agda
- - rw-r--r-- 8,889 Container.agda
- - rw-r--r-- 4,890 Covec.agda
- - rw-r--r-- 1,763 DifferenceList.agda
- - rw-r--r-- 724 DifferenceNat.agda
- - rw-r--r-- 1,600 DifferenceVec.agda
- - rw-r--r-- 3,514 Digit.agda
- - rw-r--r-- 400 Empty.agda
- - rw-r--r-- 5,670 Fin.agda
- - rw-r--r-- 7,119 Integer.agda
- - rw-r--r-- 8,901 List.agda
- - rw-r--r-- 652 M.agda
- - rw-r--r-- 5,704 Maybe.agda
- - rw-r--r-- 6,602 Nat.agda
- - rw-r--r-- 2,820 Plus.agda
- - rw-r--r-- 3,486 Product.agda
- - rw-r--r-- 7,385 Rational.agda
- - rw-r--r-- 1,417 ReflexiveClosure.agda
- - rw-r--r-- 695 Sign.agda
- - rw-r--r-- 4,716 Star.agda
- - rw-r--r-- 4,835 Stream.agda
- - rw-r--r-- 3,114 String.agda
- - rw-r--r-- 1,671 Sum.agda
- - rw-r--r-- 1,954 Unit.agda
- - rw-r--r-- 7,559 Vec.agda
- - rw-r--r-- 846 W.agda