SA
идрис
Size: a a a
2020 August 26
SA
ну да и у меня
SA
только идрис2
SA
он в схему компилируется насколько я понял
SA
)))))))
V(
очень понравились лекции где вжухвжух и тип сам раскрывается для доопределения
V(
он в схему компилируется насколько я понял
в чез
SA
чез — тоже схема
V(
но говорят уже есть кодген в джс
V(
чез — тоже схема
я в курсе, одна из самых быстрых тип
χλ
только идрис2
У меня он стоит
χλ
Я дал в чате одном обещание, что вкачусь в Идрис, когда будет релиз Idris 2
SA
χλ
На следующий день я узнал, что Idris 2 уже релизнулся
PG
На следующий день я узнал, что Idris 2 уже релизнулся
gotcha
χλ
Так что, завтра, наверное, начну читать книгу про QTT
V(
и ты такой сразу сделал чат по идрис2?
χλ
и ты такой сразу сделал чат по идрис2?
:)
V(
не очень то ты и хороший