Mercurial > hg > Members > kono > Proof > category
annotate list.agda @ 671:959954fc29f8
fix
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 30 Oct 2017 18:18:36 +0900 |
parents | 302941542c0f |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 30 Oct 2017 18:18:36 +0900 |
parents | 302941542c0f |
children |