Mercurial > hg > Members > soto > experimental
directory / @ 13:724766af8b12
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 | 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-- |