AT
в линейном или модальном?
скорее просто про спектр формальных методов
Size: a a a
2020 July 09
AG
я кстати вчера раздуплил как выглядит контекстуальная модалка в крипке-стиле
AG
и даже переписал на неё все примеры из папируса наневски & ко
AT
я кстати вчера раздуплил как выглядит контекстуальная модалка в крипке-стиле
у вас же там мьетек по модалкам прибивается? коллаб?
AG
у вас же там мьетек по модалкам прибивается? коллаб?
да, ему тоже скинул от щедрот
AT
и даже переписал на неё все примеры из папируса наневски & ко
упславский папирус?
AG
у него там какая то своя атмосфера, он пилит self-evaluatorы на модалке
AT
у него там какая то своя атмосфера, он пилит self-evaluatorы на модалке
а, ага, как-то в ирс с ним общались по этой теме
AG
упславский папирус?
не помню, тот который наневски-пфеннинг-пиентка
AT
не помню, тот который наневски-пфеннинг-пиентка
а, понял
AT
старые его работы по модалке
AG
а есть более новые?
AT
а есть более новые?
вроде нет
AG
вчера засабмитили папирус про пцм морфизмы кстати
AG
вторая часть марлезонского балета про ресурс морфизмы тип :)
AT
еще есть немного времени)
AG
еще есть немного времени)
до чего?
AT
до чего?
до попл дедлайна
AG
хм я кстати даж не знаю когда он
AT
вроде бы 9-го аое