Mercurial > hg > Gears > GearsAgdaExample

directory / @ 2:250c1d4e683b default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
file BinaryTree.agda 3087 -rw-r--r--
file Fib.agda 1322 -rw-r--r--
file Stack.agda 1764 -rw-r--r--
file WhileTest.agda 1184 -rw-r--r--
file hoare.agda 5229 -rw-r--r--
file logic.agda 4580 -rw-r--r--
file nat.agda 13800 -rw-r--r--