AT
что нихуя не работали лееры в спейсмаксе
Всё работает. Могу скинуть конфиг
Size: a a a
2021 March 14
AT
вскок сосать получаеца
Там тоже работает то, что нам нужно)
K
@dmsol https://m.lenta.ru/news/2021/03/13/avatar_mstitel/ лицо на ноль
@dmsol что с лицом?
AT
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
Ого! Это как тебе удалось? Покажи код?
Я неправильно написал умножение просто...
R
Compute же выводит результат эвалуации
Ну мне не глазками хочется сверять
R
Просто каких то попапов не показывается
w
Просто каких то попапов не показывается
Эх, сча бы показывается
R
Может надо просто кокиде установить
R
И оттуда коктоп брать
AT
Как сложение
Тут идрис и аренд выручили бы на раз
AT
И оттуда коктоп брать
А как ты сейчас запускаешь? Я не понял твоего сетапа
R
А как ты сейчас запускаешь? Я не понял твоего сетапа
Ну я через опам поставил, указал тамошний коктоп
R
В итоге в пруф режим не входит, но эвалит текст и какает в аутпут
R
Тут идрис и аренд выручили бы на раз
Чем?
R
Мне космически лень определять умножение без имеющейся операции сложения
KS
А как ты сейчас запускаешь? Я не понял твоего сетапа
Ты в Питере сейчас живёшь же?
AT
В итоге в пруф режим не входит, но эвалит текст и какает в аутпут
Мы ещё не пользовались пруф-режимом. Но ты же видишь вывод от Check и Compute?
R
А быстрое умножение тем боеп