Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Sun, 17 May 2020 09:17:39 +0900 | Shinji KONO | ... |
| Sat, 16 May 2020 23:45:33 +0900 | Shinji KONO | ... |
| Fri, 15 May 2020 20:43:42 +0900 | Shinji KONO | ... |
| Fri, 15 May 2020 20:10:09 +0900 | Shinji KONO | η on Graph to CCC |
| Fri, 15 May 2020 17:59:15 +0900 | Shinji KONO | add fig |
| Thu, 14 May 2020 18:28:08 +0900 | Shinji KONO | workaround on forget functor level |
| Thu, 14 May 2020 10:48:52 +0900 | Shinji KONO | level try and CCC bad approach |
| Tue, 12 May 2020 22:26:09 +0900 | Shinji KONO | introduce detailed level on CCCGraph |