Mercurial > hg > Members > kono > Proof > category
directory / @ 1076:5e89bbb4cf53
| name | size | permissions |
|---|---|---|
 doc/
|
drwxr-xr-x | |
|
src/
|
drwxr-xr-x | |
 .hgtags
|
992 | -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
|
2548 | -rw-r--r-- |