G
А что не так
Size: a a a
2020 April 04
G
Создатели вообще в своём уме юникод ебаный вставлять в язык
A
Ну в смысле агда топ. Кубикал агда, хуе-мое, инфраструктура всякая.
A
Можно и не писать в юникоде
A
Ты и на Руби в юникоде можешь пейсать, осади
G
Юникод уже проник и его хуй высосешь, другие его используют
G
+ Coq уже есть, зачем Agda хуягда
A
Юникод уже проник и его хуй высосешь, другие его используют
Ну и правильно делают
A
+ Coq уже есть, зачем Agda хуягда
А как ты пацанам про Coq расскажешь?
A
На киче-то
G
Пацанам можно будет про F* рассказать
G
На нём хотя бы реальное ПО есть
A
Пацанам можно будет про F* рассказать
)
A
С 2017 майки на них забили
A
Теперь ресерч делают хуйню типа АИ, лохчейн, АР
A
Как горит
G
Хуй знает хуй знает, по коммитам раза в 3 больше в F*, чем в Idris2
A
Сатья вообще хуй клал на рисерч
A
Хуй знает хуй знает, по коммитам раза в 3 больше в F*, чем в Idris2
Ну идрис2. Такое.
A
Вообще, ф стар это да.