log

age author description
Tue, 04 Mar 2014 15:04:53 +0900 tatsuki Try 'and' definition on agda draft default tip