w
хахаха, да мне вообще похуй
Size: a a a
2021 April 15
ΛВ
Α
Да в скале ты 2 часа импорты чинишь зато
ΛВ
Ты когда это последний раз делал
Α
Бля так то да
Α
Прошу прощения зря быканул
Oℕ
@AntonTrunov В CiC есть subobject classifier?
Oℕ
CiC - ето топос?
AT
последнее, что я слышал про это — у версии CiC, что в Coq реализована нет (ещё) категорной семантики
Oℕ
ну если фантазировать
GP
Опа эт Чо масленица чтоли
ᛒ
Vasiliy ето типо шутка чи шо
ᛒ
там говорят оптимизаций для виара притащили и НАКОНЕЦ ОНО НЕ РЕНДЕРИТ ТО ЧТО ТЫ НЕ ВИДИШЬ