directory / @ 22:ae586c068d01

name size permissions
file Gutil.agda 5735 -rw-r--r--
file Solvable.agda 3009 -rw-r--r--
file Symmetric.agda 6530 -rw-r--r--