Mercurial > hg > Members > kono > Proof > category
directory / @ 1046:60b24b3dc0c6
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 | 0 | -rw-r--r-- |