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 733: (0) -300 -100 -12 +12 +100 +300 tip
age author description
Wed, 29 Nov 2017 01:13:13 +0900 Shinji KONO ...
Tue, 28 Nov 2017 10:47:05 +0900 Shinji KONO add Monad to Monoidal Functor / Applicative
Mon, 27 Nov 2017 14:42:49 +0900 Shinji KONO Generalize Free Theorem
Sun, 26 Nov 2017 21:57:41 +0900 Shinji KONO clean up
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
less more | rev 733: (0) -300 -100 -12 +12 +100 +300 tip