Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 11 May 2015 11:16:24 +0900 | Shinji KONO | add DataCategory Universal mapping |
Thu, 02 Apr 2015 22:49:13 +0900 | Shinji KONO | fix |
Wed, 01 Apr 2015 17:37:04 +0900 | Shinji KONO | list representation of TwoCat Hom |
Wed, 24 Dec 2014 22:16:20 +0900 | Shinji KONO | bad approach |
Wed, 24 Dec 2014 12:50:52 +0900 | Shinji KONO | ... |
Wed, 24 Dec 2014 12:00:16 +0900 | Shinji KONO | try equalizer from limit |