directory / @ 37:c28094727b3d tip

name size permissions
[up] drwxr-xr-x
file main.rkt 705 -rw-r--r--
file ometa-boot-pretty.g 4336 -rw-r--r--
file ometa-boot.g 4409 -rw-r--r--
file ometa-opt.g 880 -rw-r--r--
file ometa.scm 28918 -rw-r--r--