Mercurial > hg > Members > kono > Proof > category
log CCC.agda @ 781:340708e8d54f
age | author | description |
---|---|---|
Fri, 08 Mar 2019 17:46:59 +0900 | Shinji KONO | fix for 2.5.4.2 |
Mon, 08 Oct 2018 16:48:27 +0900 | Shinji KONO | CCC in Hom form |
Sat, 06 Oct 2018 13:42:27 +0900 | Shinji KONO | CCC start |