Penrose: From mathematical notation to beautiful diagramspenrose.cs.cmu.edu2 pointssurprisetalk4 months ago