package info
(click to toggle)
Folder: src
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | Algebra | |
d | rwxr-xr-x | 137 | Category | |
d | rwxr-xr-x | 4,096 | Data | |
d | rwxr-xr-x | 33 | Foreign | |
d | rwxr-xr-x | 4,096 | Function | |
d | rwxr-xr-x | 35 | IO | |
d | rwxr-xr-x | 85 | Induction | |
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 |