directory / @ 776:5a3ca9509fbf

name size permissions
dir. doc/ drwxr-xr-x
file .hgtags 539 -rw-r--r--
file CatExponetial.agda 5829 -rw-r--r--
file Comma.agda 4899 -rw-r--r--
file Comma1.agda 7536 -rw-r--r--
file HomReasoning.agda 8333 -rw-r--r--
file LICENSE.TXT 1552 -rw-r--r--
file README.txt 1314 -rw-r--r--
file S.agda 2494 -rw-r--r--
file SetsCompleteness.agda 14976 -rw-r--r--
file adj-monad.agda 4371 -rw-r--r--
file applicative.agda 40249 -rw-r--r--
file bitbucket-pipelines.yml 409 -rw-r--r--
file cat-utility.agda 21773 -rw-r--r--
file category-ex.agda 266 -rw-r--r--
file code-data.agda 9233 -rw-r--r--
file comparison-em.agda 6693 -rw-r--r--
file comparison-functor.agda 9561 -rw-r--r--
file discrete.agda 6895 -rw-r--r--
file em-category.agda 13238 -rw-r--r--
file epi.agda 6798 -rw-r--r--
file equalizer.agda 20520 -rw-r--r--
file free-monoid.agda 14532 -rw-r--r--
file freyd.agda 6270 -rw-r--r--
file freyd1.agda 16231 -rw-r--r--
file freyd2.agda 21363 -rw-r--r--
file idF.agda 1808 -rw-r--r--
file kleisli.agda 24315 -rw-r--r--
file level-ex.agda 244 -rw-r--r--
file limit-to.agda 14807 -rw-r--r--
file list-level.agda 4243 -rw-r--r--
file list-monoid-cat.agda 4100 -rw-r--r--
file list-nat.agda 4066 -rw-r--r--
file list-nat0.agda 3181 -rw-r--r--
file list.agda 128 -rw-r--r--
file maybe-monad.agda 4999 -rw-r--r--
file maybeCat.agda 6920 -rw-r--r--
file monad→monoidal.agda 38390 -rw-r--r--
file monoid-monad.agda 7818 -rw-r--r--
file monoidal.agda 24771 -rw-r--r--
file negnat.agda 4190 -rw-r--r--
file pullback.agda 30189 -rw-r--r--
file record-ex.agda 975 -rw-r--r--
file stdalone-kleisli.agda 30085 -rw-r--r--
file system-f.agda 11008 -rw-r--r--
file system-t.agda 8328 -rw-r--r--
file universal-mapping.agda 36372 -rw-r--r--
file yoneda.agda 16284 -rw-r--r--