log

age author description
Fri, 24 Oct 2014 14:08:50 +0900 Yasutaka Higa Proof Monad-law-3 (haskell) default tip