Mercurial > hg > Gears > GearsAgda
diff src/list/listContext.h @ 35:2bdd8e2118c7
Add tail pointer to List data segment
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 05 May 2015 21:16:04 +0900 |
parents | c3314208d7b9 |
children | 2ff693c5563c |
line wrap: on
line diff