Mercurial > hg > Papers > 2013 > kono-prosym
comparison fig/agda-list-1.tiff @ 6:442e62a339a6
on going..
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 05 Dec 2013 20:10:27 +0900 (2013-12-05) |
parents | |
children |
comparison
equal
deleted
inserted
replaced
5:9ebac033917d | 6:442e62a339a6 |
---|---|
1 (binary file image/tiff, hash: 85eac6155f32bfd45406e4325dff70590e18c02e) |