directory /Paper/src/while_loop_impl/ @ 32:4915eaa51ee0 default tip

name size permissions
[up] drwxr-xr-x
file init_cg.agda 140 -rw-r--r--
file init_cg.agda.replaced 199 -rw-r--r--
file while_loop.agda 270 -rw-r--r--
file while_loop.agda.replaced 318 -rw-r--r--
file while_loop_c.agda 98 -rw-r--r--
file while_loop_c.agda.replaced 163 -rw-r--r--
file while_loop_dg.agda 70 -rw-r--r--
file while_loop_dg.agda.replaced 92 -rw-r--r--