Oℕ
и автовычисление стирания, так что стирается ещё глубже, чем где бы то ни было
Size: a a a
2020 February 02
Oℕ
Oℕ
У меня уже ускоренная реакция на эти разговоры
DM
Лампорт, Лампорт, где твоя улыбка полная задорного огня.
Oℕ
Вместо сократического метода хоть бы раз применил адекватность
Oℕ
Нестирающая функция обязана тащить дискриминатор/дескриптор типа вместе с собой в аргумент
Oℕ
Это в принципе сложно, т.к. он должен позволять делать слишком много
Oℕ
Ну и нужно реализовать полное лямбда исчисление этих дескрипторов
Oℕ
Так что павел, уже прошло 10 минут, ты ничего не сказал, значит ты слился, примеров нет у тебя
Oℕ
Люблю экономить нервы
λ
Душно тут у вас
Oℕ
Да Паша пришёл опять
Oℕ
щас бы найти человека, который готов был бы общаться с пашей, отвечая на его вопросы
Oℕ
Пришли просто линк на папер, где твоё опредедение используется и всё
Oℕ
Задача решена