@neauoire You might like Agda's mixfix operators:... | Csepp 🌢

Devine Lu Linvega's posts Post Back to profile

@neauoire You might like Agda's mixfix operators:
https://agda.readthedocs.io/en/v2.5.4.1/language/mixfix-operators.html

Like 5 May at 17:42 | Wall-to-wall | Open on merveilles.town

1 comment

Devine Lu Linvega

@csepp yup, same idea :)
https://wiki.xxiivv.com/site/modal#arithmetic

5 May at 21:14 | Open on merveilles.town