log

age author description
Wed, 28 Jan 2015 22:36:34 +0900 Yasutaka Higa Rewrite Functor-laws for DeltaM
Wed, 28 Jan 2015 22:32:26 +0900 Yasutaka Higa Redefine DeltaM that length fixed