Sun, 26 Nov 2017 16:00:54 +0900 |
Shinji KONO |
...
|
Sun, 26 Nov 2017 14:33:12 +0900 |
Shinji KONO |
fill proofs
|
Sun, 26 Nov 2017 10:59:38 +0900 |
Shinji KONO |
Free Theorem complete
|
Sun, 26 Nov 2017 10:41:21 +0900 |
Shinji KONO |
postulate Free Theorem
|
Sat, 25 Nov 2017 18:49:32 +0900 |
Shinji KONO |
uniquness of functor fmap
|
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
|