Sat, 25 Nov 2017 16:40:17 +0900 |
Shinji KONO |
use FMap F f x ≡ pure f <*> x
|
Sat, 25 Nov 2017 11:34:22 +0900 |
Shinji KONO |
...
|
Fri, 24 Nov 2017 16:38:34 +0900 |
Shinji KONO |
Applicative law → Monoidal law begin
|
Fri, 24 Nov 2017 14:27:07 +0900 |
Shinji KONO |
Added tag current for changeset a41b2b9b0407
|
Fri, 24 Nov 2017 14:26:01 +0900 |
Shinji KONO |
Haskell Monoidal Funtor to Applicative done
|
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
|