K
Но я не прав, что такие резкие слова говорю про дружбу
Size: a a a
2020 August 03
Oℕ
есть алгоритмы, чтобы благодаря этому быстро вычислять альфа эевивалентность
D
Олег, извинись
эй, ты извинишься?
AG
есть какой-то фреймворк, который весь заточен на манипуляции над сетами имён
ну это одна из техник работы с байндингами если брать мотивацию
Oℕ
Олег, извинись
@kainpathoscrow смотри опять душу
AG
альтернатива дебрейну и хоасу
AG
просто тут под нее подвели довольно суровый базис
AG
топосы шануэля, все дела
KC
@kainpathoscrow смотри опять душу
А че я то
KC
Мне по твоему нравится смотреть как один мужик душит другого?
Oℕ
А че я то
уточняю, кто до кого доёбывается в етом чате прост
AG
основная проблема там как всегда - работа с открытыми термами, т.е. реализация пруверья
Oℕ
топосы шануэля, все дела
что это
Oℕ
я пропустил?
AG
что это
не, тут не упоминалось, но я читал отдельно
KC
уточняю, кто до кого доёбывается в етом чате прост
Я главный по доебкам в понве?
AG
топосы эти просто у меня недавно всплывали, когда я раздуплял кодебрёйна
ᛒ
топосы шануэля, все дела
