directory /Agda/ @ 97:edf8ac727c05

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--