I think in 2025 we can be more declarative than "AddExp = MulExp", but it's been years since i tried to build my own "language languages", first with libmarpa, then even more expressive with prolog..

Could you provide a bit more context here? I’m looking at the math example (https://github.com/ohmjs/ohm/blob/main/examples/math/index.h...) and would like to learn a bit more.

maybe have a look at "PEG: Ambiguity, precision and confusion": https://jeffreykegler.github.io/Ocean-of-Awareness-blog/indi...

You passed the first test!