Mercurial > hg > Members > kono > Proof > category
log Comma.agda @ 479:a5034bdf6f38
age | author | description |
---|---|---|
Thu, 09 Mar 2017 14:16:03 +0900 | Shinji KONO | Comma Category with A B C |
Thu, 09 Mar 2017 09:03:07 +0900 | Shinji KONO | Comma category |
Wed, 08 Mar 2017 22:33:31 +0900 | Shinji KONO | add Comma category |