log equalizer.agda @ 253:24e83b8b81be

age author description
Wed, 11 Sep 2013 20:26:48 +0900 Shinji KONO fix
Mon, 09 Sep 2013 16:15:09 +0900 Shinji KONO comment
Mon, 09 Sep 2013 16:03:14 +0900 Shinji KONO comment