log queue.agda @ 575:73fc32092b64

age author description
2018-08-16 ryokka add queue.agda