directory / @ 84:77798ab0e660 default tip

name size permissions
file Hoare.agda 2738 -rw-r--r--
file HoareSoundness.agda 7523 -rw-r--r--
file RelOp.agda 2618 -rw-r--r--
file Todo 294 -rw-r--r--
file utilities.agda 4781 -rw-r--r--
file whileTestGears.agda 13841 -rw-r--r--
file whileTestGears1.agda 4202 -rw-r--r--
file whileTestPrim.agda 2020 -rw-r--r--
file whileTestPrimProof.agda 11194 -rw-r--r--