log

age author description
Wed, 21 Jan 2015 17:43:53 +0900 Yasutaka Higa Trying Monad-laws for DeltaM