g
unlike the = operator in nim which is very slow ??Size: a a a
2021 April 14
g
g
G
Он хотя бы написал, на мое ишью никто не ответил
G
G
А, в мейнчате уже ответили
pm
Вообще-то 5
З/
5?
g
мини срач с пояснениями от dom96
g
стоп, в ниме есть вывод типов по хинди минди ?
g
A
Пока Араки z3 не запилил.
g
хмм, с z3 будет вывпод по хинди минди? а где можно отслеживать прогресс запила?
A
Погоди, какая-то путаница, причем тут Х-М, как ты себе представляешь статику без Х-М или подобного. Ну и з3 это немного про другое, это ближе, к прологу для вывода типов что ли, но сложнее конечно. Про з3 только общие представления имею не в контексте nim
g
вот поэтому и переспросил
g
знаю шо z3 це прологный вывод лог высказываний
g
но тыж сам про z3 сказал
A
А какой вывод типов ты ожидал вообще?