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