R
можно и так
а как в коке ассертить
Size: a a a
2021 March 14
w
а как в коке ассертить
Эх, сча бы ассертить
R
в окно на перегонки
я на 9 этаже а ты
AT
а как в коке ассертить
что ты имеешь в виду?
R
а как в коке ассертить
я то что нашел в гугле там про теоремы было
R
что ты имеешь в виду?
ну чото типа
Compute eq! (zalupa pupa) dupaᛒ
я на 9 этаже а ты
12, это 11 но на один повыше
AT
а,
Check eq_refl : x = y.R
12, это 11 но на один повыше
инсайд джобс
w
ОООО, подъехали инсайды!
R
а,
Check eq_refl : x = y.это на всех работает типах или мне надо чото сверху докидывать?
ΛВ
Посоны, а кто-то знает что-то про вероятностное программирование?
R
Посоны, а кто-то знает что-то про вероятностное программирование?
это для умных челов
R
из кафедры теорвера
ΛВ
это для умных челов
ну мне надо микроинфу подготовить про это
ΛВ
на 5 минут расскзаать чета
ᛒ
Посоны, а кто-то знает что-то про вероятностное программирование?
R
ну вот прдеставься, расскажи где работаешь
AT
это на всех работает типах или мне надо чото сверху докидывать?
примерно так: работает на всех конкретных выражениях, если внутри нет релевантных непрозрачных термов
R
а потом скажи что это для умных теорверщиков