ToposInstitute/polytt

Infix/Mixfix Operators

Opened this issue · 0 comments

It would be really nice if we could define infix operators. It would be amazing if we could do mixfix.

Perhaps Distfix? https://dl.acm.org/doi/pdf/10.1145/5657.5659