VE
Size: a a a
2020 June 10
Oℕ
где делают так
Oℕ
VE
AG
шо такое инверсор
а рекурсор будет как-то так выглядеть
Rec : Term g (subst1T f (Prod (Mu f) a) ~> a) -> Term g (Mu f) -> Term g aA
#Москва, #Воронеж, #Саратов
#Две #Вертушки #На #Моздок
AG
я вот только думаю, может ли рекурсор заменить связку итератор+инверсор
AG
или итератор все равно отдельно нужен
AG
это твёрдое ядро теглес файнала
A
Самый красивый.
Анонимный опрос
7%
Бразильяновск.
67%
Чичня.
27%
Шымкент.
В город-победитель переезжает Терехин.
Oℕ
Как трешовый кунфу фильм
A
как дела?
Полтора часа звонок идёт.
D
Полтора часа звонок идёт.
и ты иди
YE
Полтора часа звонок идёт.
Я два часа назад ушёл со звонка, а он до сих пор идёт
GP
Я два часа назад ушёл со звонка, а он до сих пор идёт
человек звонка
GP
подкаст пишет арсен новый
A
Да, думаем переименовать.