@vshapenko вспомнил один прием в райдере - там с асинками по f10 совсем печаль, а если наставить брейкпойнтов и через f5 по ним идти, то кое-как жить можно)
Может быть :) в классе, где я занимался был только один цветной учительский и то он появился наверное в 89 :) или даже 90. А до этого извините - 50 оттенков зелёного
public final TLCState bind(UniqueString name, Value value, SemanticNode expr) { throw new WrongInvocationException("TLCStateFun.bind: This is a TLC bug."); }
Может быть :) в классе, где я занимался был только один цветной учительский и то он появился наверное в 89 :) или даже 90. А до этого извините - 50 оттенков зелёного
типа твой терминал щас отсвечивает всеми оттенками спектра?