GrammarProducts-0.1.1.2: Grammar products and higher-dimensional grammars
FormalLanguage.GrammarProduct.Op.Greibach.Proof