Mercurial > hg > Members > kono > Proof > category
directory / @ 1037:f757156ac9fe
| name | size | permissions |
|---|---|---|
 doc/
|
drwxr-xr-x | |
|
src/
|
drwxr-xr-x | |
 .hgtags
|
933 | -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-- |