3 ms·Can we have TLA+ for Gryadka done by some?by vittore 10y agoCan we have TLA+ for Gryadka done by some?rystsov 10y agoI don't know TLA+ yet but I'll assist anybody with an explanation on how Gryadka works.