log queue.agda @ 574:70b09cbefd45

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