directory / @ 128:206fc12e5c36

name size permissions
file .hgtags 147 -rw-r--r--
file Gutil.agda 6064 -rw-r--r--
file Putil.agda 36477 -rw-r--r--
file README.md 713 -rw-r--r--
file Solvable.agda 5101 -rw-r--r--
file Symmetric.agda 4036 -rw-r--r--
file fin.agda 4559 -rw-r--r--
file logic.agda 4604 -rw-r--r--
file nat.agda 12699 -rw-r--r--
file sym2.agda 4869 -rw-r--r--
file sym3.agda 13007 -rw-r--r--
file sym4.agda 4502 -rw-r--r--
file sym5.agda 15219 -rw-r--r--