λ
у меня у зубного врача тройня родилась. тут понимаешь, всякое может случиться.
Нихуя себе. ЭКО чтоль ?
Size: a a a
2020 August 03
R
Нихуя себе. ЭКО чтоль ?
эко раунд из ксочки?
ᛒ
да выражение справа альфа эквивалентно lambda a.a + y
а поч тада x # а не q # какойнить
ᛒ
в чем тогда смысл ваще
Oℕ
а поч тада x # а не q # какойнить
ну и q тоже
Oℕ
в чем тогда смысл ваще
смысл чего
Oℕ
ну нельзя например сказать, что
x # (x + y)
x # (x + y)
Oℕ
x - свободная переменная, поэтому этого отношения нет
ᛒ
да, но я прост не могу понять мы чет конкретную переменную ебем или ваще просто имя абстрактное берем
Oℕ
но т.к. в
λ x. (x + y) уже забиндили
λ x. (x + y) уже забиндили
Oℕ
уже можно сказать , что
x # λ x. (x + y)
x # λ x. (x + y)
LP
эх щас бы заводить детей а потмо прятаться от них на работе
Чел я иногда от людей вокруг прячусь, задалбывают, стоило себя не заводить?
Oℕ
да, но я прост не могу понять мы чет конкретную переменную ебем или ваще просто имя абстрактное берем
не понял
R
Чел я иногда от людей вокруг прячусь, задалбывают, стоило себя не заводить?
если тебе так тяжло быть заведенным — подрочи
R
не понял
камиль не понимает шо значит х слева от решетки
LP
если тебе так тяжло быть заведенным — подрочи
Фить ха
Oℕ
ну объясняли же полчаса
R
х абстрактный или конкретный