Mercurial > hg > Members > kono > Proof > category
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 |