min and max really "want" to be infix operators (they are commutative and associative) but this goes against the stated principles of Disco to be as close as possible to common mathematical practice. In the future we could think about re-adding infix versions with Unicode names.
Closes #262.
minandmaxreally "want" to be infix operators (they are commutative and associative) but this goes against the stated principles of Disco to be as close as possible to common mathematical practice. In the future we could think about re-adding infix versions with Unicode names.