↑↑↓↓←→←→ⒷⒶ
Войти
!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 дней назад
BnW для ведрофона
BnW на Реформале
Викивач
Котятки
Цоперайт © 2010-2016
@stiletto
.
это был канал про automatic theorem prover?
@anonymous must be something about the name…