Infinite normalization for transitive references between μ rules #46
Description
The following will lead to nonterminating normalization:
silent fixpoint sexprs
= (compound | atom) *;
{{ message }}
The following will lead to nonterminating normalization:
silent fixpoint sexprs
= (compound | atom) *;