Penrose is a diagram lang created in 2016 by Katherine Ye and Wode Ni and Max Krieger and Dor Ma鈥橝yan and Jenna Wise and Jonathan Aldrich and Joshua Sunshine and Keenan Crane.
#240on PLDB | 9Years Old |
git clone https://github.com/penrose/penrose
Create beautiful diagrams just by typing notation in plain text.
Set A, B, C, D, E, F, G
Subset(B, A)
Subset(C, A)
Subset(D, B)
Subset(E, B)
Subset(F, C)
Subset(G, C)
Disjoint(E, D)
Disjoint(F, G)
Disjoint(B, C)
AutoLabel All