AV
А ретроспектива это целый рейд!
Size: a a a
2020 May 25
AC
не, это пвп, нужно спихнуть на других игроков вину
A
А когда в емакс завезут лигатуры и плавную прокрутку?
давно всё есть
Y
Насколько давно? У меня не получилось завести ни то, ни то
A
очень давно
Y
А ретроспектива это целый рейд!
Танк хреначит основную массу кода, ДД вворачивает хаки для оптимизации узких мест, хил бегает и фиксит баги.
Y
давно всё есть
С той же степенью убедительности — давно ничего нет.
A
@Yuu_chan у меня всё работает на маке. форк mituharu (но мне кажется всё и в апстриме давно есть)
AA
ачивменты не нужны, нужны лидерборды
Y
Y
А скриншотик можно?
A
А кто-то с github-actions умеет?
R
> Idris 2 implements dynamic pattern unification. In Idris 1, metavariables (that is, the implicits that need to be solved) are stored locally to a term, so solving them requires searching through the term and substituting the definition, which can be expensive. Idris 2, on the other hand, stores metavariables globally, in the mutable global context, following roughly the scheme described in Ulf Norell's thesis.
йей. Правда какие-то mixed signals: "dynamic pattern unification" — это ссылка, которая ведет на "A tutorial implementation of dynamic pattern unification", а в диссере Ульфа делается по-другому (twin contexts vs guarded constants)
йей. Правда какие-то mixed signals: "dynamic pattern unification" — это ссылка, которая ведет на "A tutorial implementation of dynamic pattern unification", а в диссере Ульфа делается по-другому (twin contexts vs guarded constants)
Y
¯\_(ツ)_/¯
Y
Y
А если в середину стрелки встать и отредактировать, что будет?
Y
Я когда пытался настроить, рисоваться-то оно рисовалось, но вот при ходьбе и правке кода курсор прыгал туда-сюда
Y
Y