Mercurial > hg > Members > soto > experimental
directory / @ 12:77f0530f2eff
| name | size | permissions |
|---|---|---|
 .ipynb_checkpoints/
|
drwxr-xr-x | |
 GearsRBTree.agda
|
7440 | -rw-r--r-- |
|
GearsRBTree.agdai
|
204111 | -rw-r--r-- |
|
Untitled.ipynb
|
7955 | -rw-r--r-- |
|
WhileTest.agda
|
2530 | -rw-r--r-- |
|
bt.agda
|
11012 | -rw-r--r-- |
|
bt.agdai
|
226423 | -rw-r--r-- |
|
bt_t.agda
|
8461 | -rw-r--r-- |
|
bt_t.agdai
|
177602 | -rw-r--r-- |
|
logic.agda
|
4579 | -rw-r--r-- |
|
rbt_delete.agda
|
4751 | -rw-r--r-- |
|
rbt_delete.agdai
|
137669 | -rw-r--r-- |
|
rbt_imple.agda
|
4734 | -rw-r--r-- |
|
rbt_imple.agdai
|
21118 | -rw-r--r-- |
|
rbt_t.agda
|
15460 | -rw-r--r-- |
|
rbt_t.agdai
|
267679 | -rw-r--r-- |
|
test.agda
|
161 | -rw-r--r-- |
|
test.agdai
|
25010 | -rw-r--r-- |