4 ms·
Good catch! Opened an issue to investigate this https://github.com/penrose/penrose/issues/1553 https://github.com/penrose/penrose/issues/1553.
by wodenimoni 3y ago
Good catch! Opened an issue to investigate this https://github.com/penrose/penrose/issues/1553 https://github.com/penrose/penrose/issues/1553.