Mercurial > hg > Members > kono > Proof > category
graph
-
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
-
TwoCat / indexFunctor all doneThu, 24 Mar 2016 13:44:27 +0900, by Shinji KONO
-
o-resp passedThu, 24 Mar 2016 13:11:50 +0900, by Shinji KONO
-
fix free-monoidThu, 24 Mar 2016 12:07:32 +0900, by Shinji KONO
-
refl in free-monoid troubleThu, 24 Mar 2016 11:31:14 +0900, by Shinji KONO
-
cong is a bit strange...Thu, 24 Mar 2016 02:53:25 +0900, by Shinji KONO