Oℕ
Size: a a a
2020 February 20
Oℕ
Переслано от Oleg ℕizhnik
ето чушь какая-то, москвин умный, ему лучше знать
Oℕ
Переслано от Oleg ℕizhnik
Но там абстракция, аппликация и ссылка на переменную
Oℕ
Переслано от Oleg ℕizhnik
Их я перечислил
Oℕ
Переслано от Oleg ℕizhnik
Редукция это отдельный набор правил
Oℕ
Переслано от Oleg ℕizhnik
Это не часть синтаксиса лямбды
Oℕ
Переслано от Oleg ℕizhnik
Редукцию делают над термом.
А синтаксис - это то, из чего термы состоят
А синтаксис - это то, из чего термы состоят
Oℕ
Переслано от Oleg ℕizhnik
Но я очень рад, что ты вдохновился настолько, что решил меня подушить.
Лестно
Лестно
Oℕ
Переслано от Kirill Shelopugin
Требую курс по твердой лямбде
w
Эх, сча бы знать
Oℕ
Посмотрел на 50 сообщений выше, ничего полезного не увидел
пересмотри теперь
OS
Ну про абстракцию аппликацию и переменные он много где говорит
Oℕ
суть в том что начали с того, что кирилл ссылался на курс москвина
Oℕ
а ты ему советуешь курс москвина
R
Kirill Shelopugin
Осталось функану научить
Метрику на л2 давай
Oℕ
Метрику на л2 давай
ты был?
Oℕ
Как ты выглядел
R
ты был?
Да, я про твердое ядро вкинул
R
Рядом с кириллом сидел
KS
Как ты выглядел
Он первый съебался втихую