directory / @ 809:0976d576f5f6

name size permissions
dir. doc/ drwxr-xr-x
file .hgtags 584 -rw-r--r--
file CCC.agda 6337 -rw-r--r--
file CCChom.agda 37531 -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 9083 -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 15042 -rw-r--r--
file adj-monad.agda 4371 -rw-r--r--
file applicative.agda 40008 -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 deductive.agda 2033 -rw-r--r--
file discrete.agda 8503 -rw-r--r--
file em-category.agda 13238 -rw-r--r--
file epi.agda 6431 -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 21435 -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 14914 -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 39321 -rw-r--r--
file monoid-monad.agda 7902 -rw-r--r--
file monoidal.agda 24837 -rw-r--r--
file negnat.agda 4190 -rw-r--r--
file pullback.agda 30186 -rw-r--r--
file record-ex.agda 975 -rw-r--r--
file stdalone-kleisli.agda 30085 -rw-r--r--
file system-f.agda 11678 -rw-r--r--
file system-t.agda 8328 -rw-r--r--
file universal-mapping.agda 36372 -rw-r--r--
file yoneda.agda 17082 -rw-r--r--