Mercurial > hg > Members > kono > Proof > category
directory / @ 1003:ece5de97fdd7
| name | size | permissions |
|---|---|---|
 doc/
|
drwxr-xr-x | |
|
src/
|
drwxr-xr-x | |
 .hgtags
|
881 | -rw-r--r-- |
|
CategoryExcercise.agda-lib
|
119 | -rw-r--r-- |
|
CategoryExcercise.agda-pkg
|
475 | -rw-r--r-- |
|
LICENSE.md
|
0 | -rw-r--r-- |
|
README.md
|
0 | -rw-r--r-- |