directory / @ 98:2d2b0b06945b default tip

name size permissions
file Hoare.agda 2738 -rw-r--r--
file HoareSoundness.agda 7523 -rw-r--r--
file Readme.md 5722 -rw-r--r--
file ReadmeGears.md 2663 -rw-r--r--
file RelOp.agda 2618 -rw-r--r--
file Todo 374 -rw-r--r--
file utilities.agda 5006 -rw-r--r--
file whileTestGears.agda 6188 -rw-r--r--
file whileTestGears1.agda 4293 -rw-r--r--
file whileTestPrim.agda 2224 -rw-r--r--
file whileTestPrimProof.agda 11220 -rw-r--r--