| Sat, 27 Jul 2013 03:52:24 +0900 |
Shinji KONO |
on going
|
| Fri, 26 Jul 2013 22:07:21 +0900 |
Shinji KONO |
Resolution U_T, F_T
|
| Fri, 26 Jul 2013 20:54:41 +0900 |
Shinji KONO |
U done
|
| Fri, 26 Jul 2013 19:52:19 +0900 |
Shinji KONO |
Comparison Functor
|
| Fri, 26 Jul 2013 16:18:32 +0900 |
Shinji KONO |
Kleisli Category constructed
|
| Fri, 26 Jul 2013 15:52:24 +0900 |
Shinji KONO |
on going
|
| Fri, 26 Jul 2013 12:38:54 +0900 |
Shinji KONO |
stack overflow solved by moving implicit parameters to module parameters
|
| Fri, 26 Jul 2013 11:42:57 +0900 |
Shinji KONO |
Kleisli category problem written
|
| Fri, 26 Jul 2013 06:39:24 +0900 |
Shinji KONO |
Kleisli Category ...
|
| Thu, 25 Jul 2013 14:46:02 +0900 |
Shinji KONO |
generalized distr and assco1
|
| Thu, 25 Jul 2013 13:56:16 +0900 |
Shinji KONO |
join implicit parameter
|
| Thu, 25 Jul 2013 13:08:49 +0900 |
Shinji KONO |
cong-hom ?
|
| Thu, 25 Jul 2013 12:58:21 +0900 |
Shinji KONO |
distr
|
| Thu, 25 Jul 2013 12:13:10 +0900 |
Shinji KONO |
add pdf
|
| Thu, 25 Jul 2013 12:09:45 +0900 |
Shinji KONO |
hd add pdf
|
| Thu, 25 Jul 2013 12:09:01 +0900 |
Shinji KONO |
cleanup
|
