It's super exciting to see all the interest in semi-thue computing these past few weeks. I love to see it :monkeywrench:
:drake_dislike: arbitrarily using prefix, infix or postfix notation dictated by the programming language
:drake_like: alternating between notations and using the one that best suits the evaluation order needed at each computation step.
@neauoire You might like Agda's mixfix operators:
https://agda.readthedocs.io/en/v2.5.4.1/language/mixfix-operators.html