Mercurial > hg > Members > kono > Proof > category

diff nat.agda @ 111:c670d0e6b1e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Category._o_ /= Category.Category.Id when checking that the expression _∙_ has type (EMHom .B .C → EMHom .A .B → EMHom .A .C)
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 31 Jul 2013 21:59:02 +0900
parents e763efd30868
children 5f331dfc000b
line wrap: on
line diff