B
оо урааа контракты завтипы снова
Size: a a a
2021 May 26
p
А чё за нумералы черча
AN
Просто @Kolsky спрашивал как получить хоть что то полезное когда есть одна лямбда.
B
ну или год в армейке
H
в type theory and proofs было в самой первой главе
H
я оттуда все задания делал
p
Я не делал заданий в принципе
X
В армейке бумажки про то какой ты умный не дадут
AN
Серьезный подход
H
поэтому и не закрепилось
p
Нахуй надо, там какая-то залупа которую непонятно как решать
r
Это из-за андроид=линукс?
B
это изза серверов
p
p
ПК больше чем серверов, это очевидно
r
Широко популярен в узких кругах, в общем
H
ответы же есть в сети. решения там механические — либо применение church-rosser theorem, либо просто бета-редукция
p
И есть виндовс сервера
p
А ещё все терминалы это винда
ΑZ
Чёт я слепой видимо не вижу цен