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: src

d .. (parent)
d d rwxr-xr-x 4,096 Algebra
d d rwxr-xr-x 137 Category
d d rwxr-xr-x 4,096 Data
d d rwxr-xr-x 33 Foreign
d d rwxr-xr-x 4,096 Function
d d rwxr-xr-x 35 IO
d d rwxr-xr-x 85 Induction
d d rwxr-xr-x 127 Relation
- - rw-r--r-- 13,670 Algebra.agda
- - rw-r--r-- 1,646 Coinduction.agda
- - rw-r--r-- 3,121 Function.agda
- - rw-r--r-- 4,048 IO.agda
- - rw-r--r-- 2,327 Induction.agda
- - rw-r--r-- 533 Irrelevance.agda
- - rw-r--r-- 455 Level.agda
- - rw-r--r-- 8,423 Record.agda
- - rw-r--r-- 12,715 Reflection.agda
- - rw-r--r-- 453 Size.agda
- - rw-r--r-- 850 Universe.agda