libera/#clim - IRC Chatlog Search Friday, 13th of May 2022, 12:43:55 UTC 0:17:19 pillton Is the dynamic environment of with-first-quadrant-coordinates composed with that of with-translation?