Search
0:17:19
pillton
Is the dynamic environment of with-first-quadrant-coordinates composed with that of with-translation?
2:18:06
pillton
Never mind. I figured it out by looking at the code. The answer is no.
3:00:42
beach
Good morning everyone!
3:00:44
ck_
And a good morning to you, beach.