Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 26 Mar 2016 10:16:05 +0900 | Shinji KONO | Functor MA → A |
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 |