R
Как же красиво смотрится агда с юникод идентификаторами, вообще заглядение
я вообще не знал, что агда жива еще
Size: a a a
2020 April 30
DS
я вообще не знал, что агда жива еще
Так там сейчас вроде куча фанатов HoTT тусуется
DS
Туда всякие кубики и т.п. добавили
оГ
а я не хочу скакать глазами слева направо высчитывая какой у меня по очереди процент и какой надо аргумент посмотреть
Переноси аргументы на строку под. Делов-то
оГ
Elizabeth
райдер хочет юзать windows 1521 вместо ютф 8 ... в блокнот++ ютф 8 норм работает с тем же файлом
1251
AH
Переноси аргументы на строку под. Делов-то
Один хер неудобно.
AH
Интерполяция строк збс.
R
Туда всякие кубики и т.п. добавили
вот и получается, что это целочисленная гомология нашей группы жэ
оГ
Интерполяция строк збс.
Нефункционально
R
Нефункционально
троллишь вовсю?
AH
Нефункционально
Как страшно жыдь!
оГ
троллишь вовсю?
Имею право!
оГ
Ифон, кстати, «подправил» - 🤣🤣🤣 имею правоЙ 🤣🤣🤣
AH
Имею право!
А ведь был дражащей тварью ещё вчера!!т11
оГ
Мне запретили банить ебанатов :(
AH
Ифон, кстати, «подправил» - 🤣🤣🤣 имею правоЙ 🤣🤣🤣
Я вот по очереди имею, чтобы не перекачивать
VK
Давай считать что nda, не хочется незнакомым людям деанонится
Говорит человек который на спб митапы ходит
AH
Давай считать что nda, не хочется незнакомым людям деанонится
Ой все
I
Говорит человек который на спб митапы ходит
Да еще на фп конфы езжу, жалко с f#-рами там редко пересекаемся
Чаще кложуристов встречаю
Чаще кложуристов встречаю