Mercurial > hg > Members > kono > Proof > category
graph
-
limit-to: indexFunctor distribution law cannot be proved2016-03-06, by Shinji KONO
-
fix2016-03-05, by Shinji KONO
-
add more lemma in limit-to2016-03-05, by Shinji KONO
-
limit-to nat will be done2016-03-05, by Shinji KONO
-
fix2016-03-05, by Shinji KONO
-
simplify2016-03-05, by Shinji KONO
-
add more parameter to nat in lim-to-equ2016-03-05, by Shinji KONO
-
limit-to dead end...2016-03-05, by Shinji KONO
-
...2016-03-05, by Shinji KONO
-
...2016-03-05, by Shinji KONO
-
Γ : Functor A A2016-03-04, by Shinji KONO
-
two cat2016-03-04, by Shinji KONO
-
member2015-06-26, by Shinji KONO
-
fix2015-06-26, by Shinji KONO
-
arrow2015-06-26, by Shinji KONO
-
nat equalit2015-06-26, by Shinji KONO
-
fix2015-05-13, by Shinji KONO
-
fix2015-05-12, by Shinji KONO
-
history to continuation2015-05-11, by Shinji KONO
-
add DataCategory Universal mapping2015-05-11, by Shinji KONO
-
fix2015-04-02, by Shinji KONO
-
list representation of TwoCat Hom2015-04-01, by Shinji KONO
-
bad approach2014-12-24, by Shinji KONO
-
...2014-12-24, by Shinji KONO
-
try equalizer from limit2014-12-24, by Shinji KONO
-
fix2014-05-04, by Shinji KONO
-
fix2014-05-03, by Shinji KONO
-
list try ..2014-04-22, by Shinji KONO
-
fix2014-04-19, by Shinji KONO
-
fix on System F2014-04-19, by Shinji KONO
-
ItInt on system F2014-04-18, by Shinji KONO
-
free-monoid comment2014-04-18, by Shinji KONO
-
free-monoid fix2014-04-18, by Shinji KONO
-
minor fix on free monoid2014-04-17, by Shinji KONO
-
ditr on system T2014-03-29, by Shinji KONO
-
assoc in sysem-T2014-03-29, by Shinji KONO
-
sym of sum and mul in system T2014-03-29, by Shinji KONO
-
add Tree example ( not yet worked )2014-03-24, by Shinji KONO
-
λ2014-03-23, by Shinji KONO
-
fix2014-03-22, by Shinji KONO
-
add : Int X -> Int X -> Int X2014-03-22, by Shinji KONO
-
factorial still have a problem2014-03-22, by Shinji KONO
-
factoral done.2014-03-22, by Shinji KONO
-
fact2014-03-22, by Shinji KONO
-
remove module level2014-03-22, by Shinji KONO
-
no yellow on append example2014-03-22, by Shinji KONO
-
Append2014-03-22, by Shinji KONO
-
fix Emp commnet2014-03-22, by Shinji KONO
-
fix2014-03-21, by Shinji KONO
-
Tree2014-03-20, by Shinji KONO
-
R lemma2014-03-20, by Shinji KONO
-
fact error on R2014-03-19, by Shinji KONO
-
Int2014-03-19, by Shinji KONO
-
Emp with yellow2014-03-19, by Shinji KONO
-
fix Emp2014-03-17, by Shinji KONO
-
Emp in System F2014-03-17, by Shinji KONO
-
fx2014-03-16, by Shinji KONO
-
iota2014-03-16, by Shinji KONO
-
Emp and Sum first try2014-03-16, by Shinji KONO
-
System T and System F2014-03-15, by Shinji KONO