Mercurial > hg > Members > kono > Proof > category
graph
-
fix2017-06-13, by Shinji KONO
-
natural transformation in representable functor2017-06-12, by Shinji KONO
-
on going ...2017-06-12, by Shinji KONO
-
on goging2017-06-12, by Shinji KONO
-
freyd22017-06-12, by Shinji KONO
-
fix2017-06-08, by Shinji KONO
-
fix for new agda2017-06-08, by Shinji KONO
-
another snat-cong approach2017-06-08, by Shinji KONO