AT
важная новость: я только проснулся
нихера се
Size: a a a
2020 May 29
ZM
похоже это критерий отбора в брейнсах
AT
если проснулся от упоминания хинкалей - тогда да
Oℕ
норм, но что это?
пафы
Oℕ
с курицей карри и тыковй
λ
zio-cekta
че за зио целка
Oℕ
ебаный твитор
Oℕ
я открываю вижу сообщение недельку
Oℕ
читаю строчку
Oℕ
Oℕ
и твитор за каким-то хуем обновляет ленту
Oℕ
Oℕ
чтобы он так не делал
AG
@odomontois @clayrat расскажите, если я хочу погрузиться в идрис, лучше раскуривать первую версию или можно сразу во вторую?
можно во вторую, он быстрее и такой код, который будет писать новичок, в нем скорее всего будет работать
AG
там есть ещё недоделанные места с тоталити чекером, выводом имплицитов и вселенными, но это на первых порах скорее всего не будет заметно
R
K
Мне плохо
Работаю