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