Mercurial > hg > Gears > GearsAgda
view doc/List.graffle @ 13:a765eb7f3b7c
implement delete, traverse
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 07 Apr 2015 15:39:14 +0900 (2015-04-07) |
parents | d6133c065de4 |
children | 44914699ee9b |