log gearswhilehoare.agda @ 0:f5705a66e9ea default tip

age author description
Tue, 13 Oct 2020 18:01:42 +0900 soto (none) default tip