I'm trying to formalize the rewrite system we use to generate these plants in Idu, which I would describe as a probabilistic grammar. I will also have to use some type theory to do this, but what are some good resources on all types of rewrite systems?
Quote Tweet
Show this thread
0:33
7.9K views
5
1
18



