log CCC.agda @ 794:ba575c73ea48

age author description
2019-04-22 Shinji KONO ...
2019-04-21 Shinji KONO Hom a,b = Hom 1 b^a
2019-04-19 Shinji KONO CCC Hom done
2019-04-18 Shinji KONO ...
2019-04-17 Shinji KONO ccc → hom on going
2019-04-17 Shinji KONO add CCC hom
2019-04-17 Shinji KONO CCC by equation
2019-03-08 Shinji KONO fix for 2.5.4.2
2018-10-08 Shinji KONO CCC in Hom form
2018-10-06 Shinji KONO CCC start