log

age author description
Wed, 28 Jan 2015 22:26:01 +0900 Yasutaka Higa Delete comment outed temporary code
Wed, 28 Jan 2015 22:21:27 +0900 Yasutaka Higa Prove monad-laws for length fixed infinite Delta
Tue, 27 Jan 2015 17:49:53 +0900 Yasutaka Higa Delete Revision