Mercurial > hg > Members > soto > experimental
directory / @ 15:72ac6fa0b11c default tip
| 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
|
6264 | -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
|
15539 | -rw-r--r-- |
|
rbt_delete.agdai
|
295271 | -rw-r--r-- |
|
rbt_imple.agda
|
4734 | -rw-r--r-- |
|
rbt_imple.agdai
|
21118 | -rw-r--r-- |
|
rbt_t.agda
|
15630 | -rw-r--r-- |
|
rbt_t.agdai
|
267222 | -rw-r--r-- |
|
test.agda
|
161 | -rw-r--r-- |
|
test.agdai
|
25010 | -rw-r--r-- |