Ну вот, только обновил @JetBrainsRider 2018.3, как в первые же 10 секунд ошибка :( https://rider-support.jetbrains.com/hc/en-us/requests/1912043 …
(Ну ладно, не в первые 10 секунд, Rider так быстро не заводится.)
You could ask plugin author directly: https://github.com/valis . By the way, what do you mean by "кубик"?
-
-
Generally speaking suffix “-ик” forms so called diminutive of “куб” (“cube”) standing for “small block”. But in this context
@5HT by “кубик” (presumably) means any assistant for Cubical Type Theory. Because, you know, “кубик” is consonant with “cubical” in all that HoTT stuff :) -
Presumably he meant Arend
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
