log

age author description
Wed, 26 Nov 2014 17:11:33 +0900 Yasutaka Higa Trying prove monad-law-1 by another pattern