wodenimoni

5 ms·

1. 1.▲
   by wodenimoni 3y ago

   Testing the tutorial link ( https://penrose.cs.cmu.edu/docs/tutorial/welcome ) locally with Firefox 115.0.2 seems okay. If this problem persists, can you file an issue about it in our repo: ( https://githu
2. 2.▲
   by wodenimoni 3y ago

   Would love to hear what diagrams you'd like to make in your notes! > Why did you chose this confusing name? The main idea of the project is to generate diagrams from mathematical notations. So we want a name that people can associat
3. 3.▲
   by wodenimoni 3y ago

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

   Nimo here, the other author of the blog post :). Another advantage of TikZ is you can use it directly in LaTeX. TeX integration is something we care deeply about, so v3 introduces an export mode compatible with the svg package ( https:&#x2F