directory /categorical/ @ 8:4dfeaf1a70c0

name size permissions
[up] drwxr-xr-x
dir. ltxpng/ drwxr-xr-x
file imperative.html 40768 -rw-r--r--
file imperative.org 29797 -rw-r--r--
file monad.clj 341 -rw-r--r--
file monad.html 7419 -rw-r--r--
file monad.org 2545 -rw-r--r--
file morphisms.html 8669 -rw-r--r--
file morphisms.org 3827 -rw-r--r--
file plausible.html 12349 -rw-r--r--
file plausible.org 4827 -rw-r--r--
file plausible.org_archive 1943 -rw-r--r--
file synthetic.html 8884 -rw-r--r--
file synthetic.org 2911 -rw-r--r--