Mercurial > hg > Members > kono > Proof > category
graph
-
Functor MA → ASat, 26 Mar 2016 10:16:05 +0900, by Shinji KONO
-
define MA and IThu, 24 Mar 2016 14:49:49 +0900, by Shinji KONO
-
fix imit-to-edu for MaybeCat / TwoCatThu, 24 Mar 2016 14:12:53 +0900, by Shinji KONO