↑↑↓↓←→←→ⒷⒶ Войти !bnw Сегодня Клубы
coq
>@gds банит на мертвом канале за ``оффтопик'' >@zert установил(а) тему: кококо пидорахи как всегда
#RLG5NR / @anonymous / 3369 дней назад

это был канал про automatic theorem prover?

#RLG5NR/NER / @goren / 3369 дней назад
@goren про первотег, ага
#RLG5NR/TWD / @anonymous --> #RLG5NR/NER / 3369 дней назад
[2015-05-08 05:06:00]<L29Ah__> в agda есть uint32_t? Ошибка авторизации (Запрещено): Вам запрещено входить в эту конференцию
#RLG5NR/5JG / @l29ah / 3369 дней назад
@l29ah упредительный штоле?
#RLG5NR/S8B / @anonymous --> #RLG5NR/5JG / 3369 дней назад
@anonymous zert меня не любит.
#RLG5NR/AEE / @l29ah --> #RLG5NR/S8B / 3369 дней назад
@l29ah зерт известный пидораха
#RLG5NR/TNK / @anonymous --> #RLG5NR/AEE / 3369 дней назад

@anonymous must be something about the name…

#RLG5NR/UUK / @goren --> #RLG5NR/TNK / 3369 дней назад
@goren чо там
#RLG5NR/ZGL / @anonymous --> #RLG5NR/UUK / 3369 дней назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.