Mercurial > hg > Members > kono > Proof > category
log CCChom.agda @ 790:1e7319868d77
age | author | description |
---|---|---|
Fri, 19 Apr 2019 23:42:19 +0900 | Shinji KONO | Sets is CCC |
Fri, 19 Apr 2019 19:20:04 +0900 | Shinji KONO | CCC Hom done |
Fri, 19 Apr 2019 12:20:48 +0900 | Shinji KONO | nat in ccc-2 |
Thu, 18 Apr 2019 20:07:22 +0900 | Shinji KONO | ... |
Thu, 18 Apr 2019 10:00:20 +0900 | Shinji KONO | on going CCC |
Wed, 17 Apr 2019 21:32:56 +0900 | Shinji KONO | ccc → hom on going |
Wed, 17 Apr 2019 14:47:39 +0900 | Shinji KONO | add CCC hom base CCC.agda@0b9d600b9f1b |