Mercurial > hg > Members > kono > Proof > category
comparison list.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 | 302941542c0f |
children |
comparison
equal
deleted
inserted
replaced
518:52d30ad7f652 | 519:844328b49d5d |
---|