Open jared-hughes opened 3 years ago
DesThree sometimes uses @3, sometimes desThree-, sometimes three-, with no semantic difference. Should unify it all as desThree while still allowing @3 or three to be typed to insert a DesThree expression.
@3
desThree-
three-
desThree
three
DesThree sometimes uses
@3, sometimesdesThree-, sometimesthree-, with no semantic difference. Should unify it all asdesThreewhile still allowing@3orthreeto be typed to insert a DesThree expression.