Mercurial > hg > Members > kono > Proof > category
log CCC.agda @ 783:bded2347efa4
age | author | description |
---|---|---|
Wed, 17 Apr 2019 12:03:45 +0900 | Shinji KONO | CCC by equation |
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 |