АХ
Пишите на регэкспах (SJW)*
Size: a a a
2020 June 23
AV
или на комбинаторах some SJW
AT
Может, тупо SJWs?
AT
Или слишком скучно? 😃
IR
пишите по-французски: не le SJW, а les SJW. а лучше на ыфкуиле, простите, пример не могу привести
для ыфкуила придётся дисамбигуировать настолько, что потенциальные участники передерутся между собой за труъ определение
JS
для ыфкуила придётся дисамбигуировать настолько, что потенциальные участники передерутся между собой за труъ определение
а там можно вставить заимствование из другого домена, не объясняя его? foreign key
IR
фонетитическая транскрипция. но это уже виабуйство какое-то
AI
++ # бот ожил
L
#ботожил
AI
но все прошлые охи он конечно забыл
ГК
хм, а такой Haskell-бот есть?)
JS
в мире есть. lambdabot называется
AV
К телеграмму никто не прицепил, хотя казалось бы есть telegram-bot-simple и есть lambdabot
AV
Бери и объединяй
A
Бери и объединяй
насколько мне известно, работа ведётся такая
AV
Я слышал это недели 2 или 3 назад
IR
у меня есть @HaskyBot, но я не знаю где бы его запустить
IR
так чтобы он не залипал хотя бы. в идеале чтобы на нём ещё и монеру не майнили...
AT
Давайте не размениваться на мелочи и сразу подрубать @CoqProofbot 😃
IR
@proofbot id :: a -> a