package info (click to toggle)
agda-stdlib 1.3-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 5,500 kB
  • sloc: haskell: 246; sh: 30; makefile: 21; lisp: 1

Folder: src

d .. (parent)
d d rwxr-xr-x 4,096 Algebra
d d rwxr-xr-x 4,096 Axiom
d d rwxr-xr-x 4,096 Category
d d rwxr-xr-x 4,096 Codata
d d rwxr-xr-x 4,096 Data
d d rwxr-xr-x 31 Debug
d d rwxr-xr-x 51 Foreign
d d rwxr-xr-x 4,096 Function
d d rwxr-xr-x 27 IO
d d rwxr-xr-x 69 Induction
d d rwxr-xr-x 34 Level
d d rwxr-xr-x 4,096 Reflection
d d rwxr-xr-x 147 Relation
d d rwxr-xr-x 85 Tactic
d d rwxr-xr-x 126 Text
- - rw-r--r-- 503 Algebra.agda
- - rw-r--r-- 432 Function.agda
- - rw-r--r-- 4,202 IO.agda
- - rw-r--r-- 2,367 Induction.agda
- - rw-r--r-- 683 Level.agda
- - rw-r--r-- 602 Record.agda
- - rw-r--r-- 7,083 Reflection.agda
- - rw-r--r-- 681 Size.agda
- - rw-r--r-- 816 Strict.agda
- - rw-r--r-- 516 Universe.agda