baum

directory /examples/ @ 42:233ac9bea4f1

name size permissions
[up] drwxr-xr-x
file helloworld.baum 521 -rw-r--r--
file sum3input.baum 249 -rw-r--r--
file sum3input_v2.baum 260 -rw-r--r--