Mercurial > hg > Members > kono > Proof > category
diff comparison-em.agda @ 519:844328b49d5d
try hom equality in uniquness
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 21 Mar 2017 16:28:34 +0900 |
parents | d3cd28a71b3f |
children | a5f2ca67e7c5 |