directory / @ 7:ec1cb153af22

name size permissions
file Solvable.agda 4903 -rw-r--r--
file Symmetric.agda 3782 -rw-r--r--