directory /r6f/ @ 328:9c75f3b739d5 tip

name size permissions
[up] drwxr-xr-x
file cola.rkt 2897 -rw-r--r--
file cola2.rkt 2685 -rw-r--r--
file cola3.rkt 3025 -rw-r--r--
file cola4.rkt 4345 -rw-r--r--
file prelude.vau 1562 -rw-r--r--
file vau-cps.rkt 10565 -rw-r--r--
file vau.rkt 9796 -rw-r--r--