Mercurial > hg > Papers > 2013 > kono-prosym
diff 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 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 05 Dec 2013 20:10:27 +0900 (2013-12-05) |
parents | |
children |