/r6f/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2019-01-16 17:15 +0000 2897 cola.rkt
-rw-r--r-- 2019-01-16 17:15 +0000 2685 cola2.rkt
-rw-r--r-- 2019-01-16 17:15 +0000 3025 cola3.rkt
-rw-r--r-- 2019-01-16 17:15 +0000 4345 cola4.rkt
-rw-r--r-- 2019-01-16 17:15 +0000 1562 prelude.vau
-rw-r--r-- 2019-01-16 17:15 +0000 10565 vau-cps.rkt
-rw-r--r-- 2019-01-16 17:15 +0000 9796 vau.rkt