Commit 2025-02-10 11:41 78364f82
View on Github →chore(Computability/ContextFreeGrammar): remove unnecessary universe polymorphism (#21545)
It is useless for nonterminals to be universe-polymorphic.
The removal of uN will make context-free grammars nicer and easier to use.