| Fri, 24 Nov 2017 13:20:14 +0900 |
Shinji KONO |
composition done
|
| Fri, 24 Nov 2017 11:32:41 +0900 |
Shinji KONO |
add some tools
|
| Thu, 23 Nov 2017 20:18:09 +0900 |
Shinji KONO |
...
|
| Thu, 23 Nov 2017 18:24:44 +0900 |
Shinji KONO |
identity done
|
| Thu, 23 Nov 2017 12:37:22 +0900 |
Shinji KONO |
...
|
| Thu, 23 Nov 2017 12:08:42 +0900 |
Shinji KONO |
...
|
| Thu, 23 Nov 2017 11:40:12 +0900 |
Shinji KONO |
fix
|
| Thu, 23 Nov 2017 10:47:46 +0900 |
Shinji KONO |
on going ...
|
| Thu, 23 Nov 2017 09:34:15 +0900 |
Shinji KONO |
Sets is Monoidal
|
| Wed, 22 Nov 2017 14:07:17 +0900 |
Shinji KONO |
Applicative ⇔ Monoidal
|
| Wed, 22 Nov 2017 12:49:17 +0900 |
Shinji KONO |
fix
|
| Wed, 22 Nov 2017 11:51:34 +0900 |
Shinji KONO |
add Applicative and HaskellMonoidal Functor
|
| Wed, 22 Nov 2017 04:42:48 +0900 |
Shinji KONO |
clean up
|
| Wed, 22 Nov 2017 04:12:14 +0900 |
Shinji KONO |
Monidal functor done.
|
| Wed, 22 Nov 2017 02:55:36 +0900 |
Shinji KONO |
Monoidal Functor ( two functor remains )
|
