AG
чёт я последнее время угорел по логическим реляциям
Size: a a a
2020 July 23
AG
точнее по попыткам их раздуплить
AG
вообще неясно нахрена академики напридумывали столько методов доказательства строгой нормализации
AG
нбе, хередитарка, логрелы эти еще
AG
ну впрочем похоже что нормализацию логрелами доказывать это пушка по воробьям, или как вариант просто многословный вариант записи нбе
AG
@AntonTrunov ты шаришь в логрелах?
AG
пойду в завтипы что ли спрошу, не всё ж там лабы решать во славу потребительской семантики
KS
У меня вроде всё хорошо
KS
Почему у меня что-то с ебалом должно быть
Oℕ
оч нравится телефон
Oℕ
не в ближайшие полтора года, похоже
AG
мне щас в нии предлагают ноутбук обновить за казенный счет
AG
судя по всему будет два стула
Oℕ
mi note 10 lite
AG
макбух или синкпад
KS
Я много раз говорил, что если меня перестанет устраивать самсунг - я уйду на то, что будет устраивать, Дима опять клоунаду устраивает будто я фанат
SK
ну впрочем похоже что нормализацию логрелами доказывать это пушка по воробьям, или как вариант просто многословный вариант записи нбе
+
Oℕ
вчера привезли
KS
макбух или синкпад
синкпад похоже лучше