Mercurial > hg > Members > kono > Proof > agda-reflection

directory / @ 0:776f851a03a3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
file hello.agda 143 -rw-r--r--
file reflection-ex.agda 13206 -rw-r--r--
file tactics.agda 1244 -rw-r--r--