Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Thu, 24 Mar 2016 14:49:49 +0900 | Shinji KONO | define MA and I |
Thu, 24 Mar 2016 14:12:53 +0900 | Shinji KONO | fix imit-to-edu for MaybeCat / TwoCat |
Thu, 24 Mar 2016 13:44:27 +0900 | Shinji KONO | TwoCat / indexFunctor all done |