3 ms·Agda allows for "mixfix" function names with spaces. It's very interesting.by sordina 11y agoAgda allows for "mixfix" function names with spaces. It's very interesting.