AG
типа фолд но только по предыдущему значению
Size: a a a
2020 June 10
AG
в этом и подвох короче, он только умеет рекурсивно до упора ехать
Oℕ
ну классический пред же так и написан
Oℕ
но типа неэффективно
AG
Oℕ
AG
но мне еще надо чтобы оно Option[Nat] возвращало
AG
чтобы типа pred(zero) = None
AT
#Москва, #Воронеж, #Саратов
GP
#Москва, #Воронеж, #Саратов
#Ульяновск
LP
#Москва, #Воронеж, #Саратов
Ищешь работу?
AS
#Москва, #Воронеж, #Саратов
#Бразильяновск, #Шымкент, #Чичня
.
#Москва, #Воронеж, #Саратов
#БарадДур, #МинасМоргул, #ЧерныеВорота
NV
#Лондон #гудбай
GP
#Бразильяновск, #Шымкент, #Чичня
с уважением конечно же?
AS
с уважением конечно же?
Не без этого.
GP
Oℕ