GP
возможно, картой у меня как оффлайн отработала
Ага
Size: a a a
2021 February 17
λ
@kshelopugin пиздец ты косяк
λ
опять в пг не смог?
ᛒ
я так понимаю миллионы денег уходят
λ
и все из-за Кирилла
λ
видимо гц включился
ᛒ
миллионы выселенных ипотечников лично Кириллом
S
видимо гц включился
а обещанно то было что за час исправят!
AG
хм, я про тейта так никогда не думал: для меня это была такая серия шагов усиления/обобщения индуктивной гипотезы, чтоб сложность убрать из док-ва нормализации для аппликации
вообще я в перспективе хочу освоить LRAT харпера-стерлинга, потому что как я понимаю это основа полноценной системы типов для модулей и плюс база для свежего доказательства нормализации для кубов
w
вообще я в перспективе хочу освоить LRAT харпера-стерлинга, потому что как я понимаю это основа полноценной системы типов для модулей и плюс база для свежего доказательства нормализации для кубов
хахаха, да мне вообще похуй
λ
го поднасрем
S
правильно знач говорил олег, не стать первыми ткс
λ
@pomadchin люди пишут, что и терминалы не пашут