Mercurial > hg > Members > kono > Proof > category
diff comparison-functor.agda @ 220:5d96be63053f
eefg
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 04 Sep 2013 18:45:17 +0900 (2013-09-04) |
parents | 5435469c6cf0 |
children | d6a6dd305da2 |