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 -50 -30 +30 +50 +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
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 )
Wed, 22 Nov 2017 02:09:22 +0900 Shinji KONO Monoidal Functor on going ...
Tue, 21 Nov 2017 22:42:33 +0900 Shinji KONO monodial cateogry and functor
less more | rev 729: (0) -300 -100 -50 -30 +30 +50 +100 +300 tip