语法突出显示是对信息通道的浪费

下周没有时事通讯运行TLA+研讨会。在那之后我就不会有任何脑力了。语法突出显示是对信息通道的浪费...