Or that they understand it just fine, but don't think it has a particular advant...

		coldtea on Jan 15, 2024 \| parent \| context \| favorite \| on: Penrose – Create diagrams by typing notation in pl... Or that they understand it just fine, but don't think it has a particular advantage worth the extra complexity tradeoff.