4 ms·
> roger is a command-line tool for generating diagrams from Penrose trios and serving local files to a local editor. https://penrose.cs.cmu.edu/docs/ref/using
by jayknight 3y ago
> roger is a command-line tool for generating diagrams from Penrose trios and serving local files to a local editor.
https://penrose.cs.cmu.edu/docs/ref/using https://penrose.cs.cmu.edu/docs/ref/using