Mercurial > hg > Members > kono > Proof > category
graph
-
...2019-04-18, by Shinji KONO
-
on going CCC2019-04-18, by Shinji KONO
-
ccc → hom on going2019-04-17, by Shinji KONO
-
add CCC hom2019-04-17, by Shinji KONO
-
CCC by equation2019-04-17, by Shinji KONO
-
fix2019-03-08, by Shinji KONO
-
fix for 2.5.4.22019-03-08, by Shinji KONO
-
CCC in Hom form2018-10-08, by Shinji KONO
-
CCC start2018-10-06, by Shinji KONO
-
fix applicative for Agda version 2.5.4.12018-09-26, by Shinji KONO
-
fix2018-09-26, by Shinji KONO
-
add epi2018-09-25, by Shinji KONO
-
exchange left and right2018-06-13, by Shinji KONO
-
add simple category version2018-06-13, by Shinji KONO