M
Надеюсь в картинках и со стрелочками
Конечно
Size: a a a
2020 June 30
ᛒ
диму снизу над фотошопить
ᛒ
типо таноса
AG
лан, пойду с сыном в бассейне поплаваю
R
забейтили тебя на дикую техническую дискуссию
R
AD
написал 5 пруфчиков на култт и все равно не вдупляю что такое дизъюнкция корасслоения
Что такое расслоение?
AG
Что такое расслоение?
корасслоение
w
вот эта хреновина например https://github.com/RedPRL/cooltt/blob/master/test/nat-path.cooltt#L54
ущерб читаемости, и не в ботлнеке (сам таким иногда страдаю)
GP
лан, пойду с сыном в бассейне поплаваю
блин у вас открыли все?
GP
у нас прикинь нельзя до сих пор на август перенесли грин фазу
Oℕ
написал 5 пруфчиков на култт и все равно не вдупляю что такое дизъюнкция корасслоения
кек
Oℕ
честно говоря, я нахожусь на том уровне, когда я почитал про кофибрейшоны и не понимаю, почему они дуальны фибрейшонам
YE
у нас прикинь нельзя до сих пор на август перенесли грин фазу
я слышал, что в некоторых штатах снова стали все закрывать. это рил так?