E
могу предложить тех кто варит шёрстку
Size: a a a
2021 March 14
E
хуя дед тролит
AG
дырки
AG
вся эта интерактивная залупа масштабируется с помощью метапеременных и модальностей
AG
https://arxiv.org/abs/1805.00155 Omar, Voysey, Chugh, Hammer, [2018] "Live Functional Programming with Typed Holes"
K
https://arxiv.org/abs/1805.00155 Omar, Voysey, Chugh, Hammer, [2018] "Live Functional Programming with Typed Holes"
чо по карантину
AG
чо по карантину
AG
вся эта интерактивная залупа масштабируется с помощью метапеременных и модальностей
это кстати напрямую связано с темой синтеза которую вчера обсуждали
AG
> подчинясь постановлению Министерства здравоохренения
nice
nice
AG
https://arxiv.org/abs/1805.00155 Omar, Voysey, Chugh, Hammer, [2018] "Live Functional Programming with Typed Holes"
> We observe that expression hole closures are closely related to metavariable closures from contextual modal type theory (CMTT) [Nanevski et al. 2008],which, by its Curry-Howard correspondence with contextual modal logic, provides a logical basis for reasoning about and operating on hole closures.
кхе-кхе
кхе-кхе
K
@dmsol https://m.lenta.ru/news/2021/03/13/avatar_mstitel/ лицо на ноль
@dmsol что с лицом
K
