C
пришел вам сказать что иду готовить бифстрогано
Size: a a a
2020 May 10
O
f : _|_ -> _|_это функция?
C
f : _|_ -> _|_это функция?
эх, знать бы как это расшифровать
w
эх, знать бы как это расшифровать
Эх, сча бы расшифровать
NV
пришел вам сказать что иду готовить бифстрогано
O
отображение из пустого множества в пустое
SK
эх, знать бы как это расшифровать
из жопы в жопу
O
из жопы (_*_) -> (_*_)
US
отображение из пустого множества в пустое
пустое множество одно?
C
отображение из пустого множества в пустое
нетотальность предполагает что есть такой инпут для которого нет аутпута
SK
f : _|_ -> _|_это функция?
дегуз подразумевает сильную нормализацию 💪
O
нетотальность предполагает что есть такой инпут для которого нет аутпута
значит это, получается, тотальная функция?
SK
соответственно, никакоого боттома
O
дегуз подразумевает сильную нормализацию 💪
ну хз, это нигде не написано
o
пришел вам сказать что иду готовить бифстрогано
эх, знать бы как это расшифровать
w
эх, знать бы как это расшифровать
Эх, сча бы расшифровать
O
Эх, сча бы расшифровать
w
Эх, сча бы расшифровать
Эх, сча бы расшифровать
O
нашёл неподвижную точку!