@neauoire You might like Agda's mixfix operators:https://agda.readthedocs.io/en/v2.5.4.1/language/mixfix-operators.html
@csepp yup, same idea :) https://wiki.xxiivv.com/site/modal#arithmetic
@csepp yup, same idea :)
https://wiki.xxiivv.com/site/modal#arithmetic