directory / @ 3:090bdde20e9f

name size permissions
file Jungle.hs 3709 -rw-r--r--
file Main.hs 395 -rw-r--r--