VB
Про обороты: там всё вычистят, можешь не сомневаться.
Size: a a a
2018 June 28
AV
вот отстой :/
VB
а как англоговорящие относятся к красивым оборотам типа why on earth и т.п.
AV
только на интиндекса с артемом надеяться
AV
что у них книжка в таком стиле останется
AV
если они издателя не найдут
VB
Мне там уже и личные местоимения чистили и всё такое
AV
там много наверное того, на что наругаются
AV
но при этом я подобным образом разговариваю и мне весело такое читать
VB
Выпускатели MEAP накосячили: взяли и выпустили версию месячной давности, хотя уже новая есть
AV
зато ты можешь идти в отпуск на 2 недели а следующая версия будет
AV
как обещано
VB
VB
Там уже и четвёртая глава есть, и пятая
2018 June 29
ЕО
Хм, а есть бенчмарки идрис vs агда?
КП
Кто тормозит больше?)
ЕО
Ну агда не пытается не тормозить. Но будет смешно, если агда окажется быстрее
Aq
ну, не то чтобы не пытается
С
Языковедческое
