directory /src/ @ 1148:d39c79bb71f0

name size permissions
[up] drwxr-xr-x
file BAlgebra.agda 6834 -rw-r--r--
file LEMC.agda 8240 -rw-r--r--
file NSet.agda 2239 -rw-r--r--
file OD.agda 25147 -rw-r--r--
file ODC.agda 5484 -rw-r--r--
file ODUtil.agda 12331 -rw-r--r--
file OPair.agda 11196 -rw-r--r--
file OrdUtil.agda 15949 -rw-r--r--
file Ordinals.agda 2562 -rw-r--r--
file PFOD.agda 6546 -rw-r--r--
file README.md 3694 -rw-r--r--
file Topology.agda 19356 -rw-r--r--
file VL.agda 2598 -rw-r--r--
file cardinal.agda 5259 -rw-r--r--
file filter.agda 25913 -rw-r--r--
file generic-filter.agda 12414 -rw-r--r--
file logic.agda 1652 -rw-r--r--
file nat.agda 1679 -rw-r--r--
file ordinal.agda 16592 -rw-r--r--
file partfunc.agda 11507 -rw-r--r--
file zf.agda 3751 -rw-r--r--
file zfc.agda 1202 -rw-r--r--
file zorn.agda 101406 -rw-r--r--