This directory contains source files for [Penrose diagrams]((https://penrose.cs.cmu.edu/):

• Domain files (.dsl) describe the objects available in a given domain.
• Style files (.sty) specify how diagrams involving the objects from a given domain should be drawn.
• Substance files (.sub) describe specific diagrams.

Penrose diagrams are displayed in the infoview using ProofWidgets4.