directory /Agda/ @ 45:1db60e3a946d

name size permissions
[up] drwxr-xr-x
file add_library.md 1822 -rw-r--r--
file debug_build.md 1812 -rw-r--r--
file tutorial.md 4949 -rw-r--r--