Mercurial > hg > Members > kono > Proof > category
graph
-
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
-
on going...2014-01-06, by Shinji KONO
-
???2014-01-05, by Shinji KONO
-
is this right direction?2014-01-05, by Shinji KONO
-
on going...2014-01-05, by Shinji KONO
-
on going...2014-01-05, by Shinji KONO
-
preinitial problem written2014-01-05, by Shinji KONO
-
pre-initial2014-01-05, by Shinji KONO
-
small full subcategory done.2014-01-05, by Shinji KONO
-
Small Full Subcategory (underconstruction)2014-01-05, by Shinji KONO
-
subset2014-01-05, by Shinji KONO
-
Freyd Adjoint Functor Theorem2014-01-04, by Shinji KONO
-
Limit form equalizer and product done.2013-11-04, by Shinji KONO
-
looped.2013-10-30, by Shinji KONO
-
fix2013-09-29, by Shinji KONO
-
arrow and lambda fix2013-09-29, by Shinji KONO
-
remove module parameter from yoneda functor2013-09-29, by Shinji KONO
-
fix2013-09-25, by Shinji KONO
-
limit preservation proved.2013-09-25, by Shinji KONO
-
lemma1 will be proved2013-09-25, by Shinji KONO
-
limit equation done.2013-09-25, by Shinji KONO
-
limit1 done2013-09-25, by Shinji KONO
-
limit defined.2013-09-25, by Shinji KONO
-
on going2013-09-25, by Shinji KONO
-
limit preserving ...2013-09-25, by Shinji KONO
-
fix2013-09-25, by Shinji KONO
-
move to iProduct axiom2013-09-25, by Shinji KONO