Mercurial > hg > Members > kono > Proof > category

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 729: (0) -300 -100 -15 +15 +100 +300 tip
age author description
Sun, 26 Nov 2017 17:12:00 +0900 Shinji KONO clean up
Sun, 26 Nov 2017 16:35:22 +0900 Shinji KONO Added tag current for changeset ea84cc6c1797
Sun, 26 Nov 2017 16:19:54 +0900 Shinji KONO monoidal functor and applicative done
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
less more | rev 729: (0) -300 -100 -15 +15 +100 +300 tip