Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sun, 05 Nov 2017 13:22:59 +0900 | Shinji KONO | extensionality remains |
Sat, 04 Nov 2017 15:49:26 +0900 | Shinji KONO | Product of Arrow is necessary ... |
Sat, 04 Nov 2017 11:49:45 +0900 | Shinji KONO | two product as in CWM |
Fri, 03 Nov 2017 20:45:46 +0900 | Shinji KONO | ... |
Fri, 03 Nov 2017 18:59:03 +0900 | Shinji KONO | ... |
Fri, 03 Nov 2017 13:31:08 +0900 | Shinji KONO | fix limit from product and equalizer (not yet finished ) |