VM
у меня ща мозоли
это жалоба или хвастовство?
Size: a a a
2021 March 14
R
V. M.
это жалоба или хвастовство?
это факт
V
Вы уже техники дрочки начали обсуждать?
+
ΛВ
это факт
нет, выбирай из двух
R
нет, выбирай из двух
да
R
о нет у меня ошибка в умножении
Oℕ
V. M.
это жалоба или хвастовство?
жаловство а также хвалоба
VM
жатье
не знаю такого француза.
VM
чем известен?
R
The term "eq_refl" has type
"muln (S (S O)) (S (S O)) = muln (S (S O)) (S (S O))"
while it is expected to have type
"muln (S (S O)) (S (S O)) = S (S (S (S O)))"
(cannot unify "muln (S (S O)) (S (S O))" and "S (S (S (S O)))”).
ΛВ
жалуется и ноует
ΛВ
The term "eq_refl" has type
"muln (S (S O)) (S (S O)) = muln (S (S O)) (S (S O))"
while it is expected to have type
"muln (S (S O)) (S (S O)) = S (S (S (S O)))"
(cannot unify "muln (S (S O)) (S (S O))" and "S (S (S (S O)))”).
НЗ
R
читаемость класс
ΛВ
The term "eq_refl" has type
"muln (S (S O)) (S (S O)) = muln (S (S O)) (S (S O))"
while it is expected to have type
"muln (S (S O)) (S (S O)) = S (S (S (S O)))"
(cannot unify "muln (S (S O)) (S (S O))" and "S (S (S (S O)))”).
ЧЗНГУ
Oℕ
The term "eq_refl" has type
"muln (S (S O)) (S (S O)) = muln (S (S O)) (S (S O))"
while it is expected to have type
"muln (S (S O)) (S (S O)) = S (S (S (S O)))"
(cannot unify "muln (S (S O)) (S (S O))" and "S (S (S (S O)))”).
ну норм
R
ну норм
думаешь ошибка в ожидаемом результате?