3 ms·

I have once modified the Shunting-yard algorithm to parse distfix expressions (https://github.com/noteed/syntactical https://github.com/noteed/syntactical). Agd

by thu 13y ago

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