w
Size: a a a
2020 January 28
s
что они должны быть всегда одинаковые и должен быть ток один для одного типа иль чет такое
мы вам перезвоним
В
что они должны быть всегда одинаковые и должен быть ток один для одного типа иль чет такое
когерентность
w
когерентность
Эх, сча бы когерентность
В
типа хуйта какая то
В
ну типа вот умное название
KS
Ладно, Олег игнорит как обычно
(
когерентность
В
ахуеть перевел
(
бля, бот два раза на когерентность триггернулся
В
вопрос уровня понв
λ
Когерентность называли уже?
Oℕ
уникальность это вообще неправильное свойство, никакой уникальности там не сформулируешь, это какое-то самовыдуманное говно, которое не формализуешь
Oℕ
А когерентность - это очень злоебучее говно, которое вовлекается два независимых почти механизма в единую херню
Oℕ
Поэтому её сложно сформулировать и доказать
w
Поэтому её сложно сформулировать и доказать
Эх, сча бы доказать
Oℕ
Ну и полагаю, что никто её там для хошкеля не пытался доказывать
λ
Помню слова Олега. Это однозначность резолва терма в различных контекстах