Mercurial > hg > Gears > GearsAgda
directory / @ 954:08281092430b
| 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-- |
|
BTree.agda
|
94855 | -rw-r--r-- |
|
DPP.agda
|
7205 | -rw-r--r-- |
|
ModelChecking.agda
|
6192 | -rw-r--r-- |
|
RBTree.agda
|
93491 | -rw-r--r-- |
|
RBTree0.agda
|
131478 | -rw-r--r-- |
|
RBTree1.agda
|
135318 | -rw-r--r-- |
|
RBTreeBase.agda
|
74079 | -rw-r--r-- |
|
Todo.txt
|
3830 | -rw-r--r-- |
|
hoareBinaryTree.agda
|
55970 | -rw-r--r-- |
|
logic.agda
|
5621 | -rw-r--r-- |
|
nat.agda
|
46847 | -rw-r--r-- |
|
queue.agda
|
4604 | -rw-r--r-- |
|
stack.agda
|
6764 | -rw-r--r-- |
|
stackTest.agda
|
5317 | -rw-r--r-- |
|
work.agdai
|
486455 | -rw-r--r-- |
|
work.agda~
|
590 | -rw-r--r-- |