On: Stack Machines: Notation Polish Reverse calculator

[thu]

I have once modified the Shunting-yard algorithm to parse distfix expressions (https://github.com/noteed/syntactical). Agda is quite famous for offering distfix (or mixfix) operators.