Tear - slebok/sleg GitHub Wiki

English

• tear
• Symbol: ^^^
• Definition: a tree manipulation annotation used in Tear-Insert-Fold grammars and Tear-Fold grammars. The node corresponding to x^^^ is deleted together with its children.
• Publication: Tear-Insert-Fold Grammars