directory / @ 11:9dae7ef74342

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