Closed averycrespi closed 5 years ago
import a b = a and (a and a)
produces b=a and a and a, but should produce b=a and(a and a)
b=a and a and a
b=a and(a and a)
Use associativity instead of commutativity for bracket choices in formatter
produces
b=a and a and a
, but should produceb=a and(a and a)
Use associativity instead of commutativity for bracket choices in formatter