Mercurial > hg > Gears > GearsAgda
directory / @ 808:5d15ec862bcb
| name | size | permissions |
|---|---|---|
 .git/
|
drwxr-xr-x | |
|
etc/
|
drwxr-xr-x | |
|
fig/
|
drwxr-xr-x | |
 #btree.agda#
|
37223 | -rw-r--r-- |
|
#hoareBinar#
|
2 | -rw-r--r-- |
|
.hgignore
|
194 | -rw-r--r-- |
|
.hgtags
|
108 | -rw-r--r-- |
|
AgdaLink.txt
|
454 | -rw-r--r-- |
|
ModelChecking.agda
|
10059 | -rw-r--r-- |
|
RedBlackTree.agda
|
16136 | -rw-r--r-- |
|
Todo.txt
|
3554 | -rw-r--r-- |
|
btree.agda
|
37490 | -rw-r--r-- |
|
hoareBinaryTree.agda
|
55714 | -rw-r--r-- |
|
hoareBinaryTree1.agda
|
73744 | -rw-r--r-- |
|
logic.agda
|
2399 | -rw-r--r-- |
|
queue.agda
|
4604 | -rw-r--r-- |
|
redBlackTreeHoare.agda
|
19966 | -rw-r--r-- |
|
stack.agda
|
6764 | -rw-r--r-- |
|
stackTest.agda
|
5317 | -rw-r--r-- |
|
work.agda
|
29139 | -rw-r--r-- |
|
work.agdai
|
486455 | -rw-r--r-- |
|
work.agda~
|
590 | -rw-r--r-- |