Mercurial > hg > Members > kono > Proof > category

directory / @ 1117:e0ddd6d9ac80

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
dir. doc/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgtags 992 -rw-r--r--
file CategoryExcercise.agda-lib 152 -rw-r--r--
file CategoryExcercise.agda-pkg 505 -rw-r--r--
file LICENSE.md 0 -rw-r--r--
file README.md 2548 -rw-r--r--
file Todo.md 1486 -rw-r--r--