These are chat archives for groupoid/exe

7th
Apr 2016
nponeccop
@nponeccop
Apr 07 2016 13:22
Смело! Это предполагает формализуемость алгебр в нашей системе типов, что ещё не факт
Zeit Raffer
@zraffer
Apr 07 2016 13:33
Если внезапных препятствий не обнаружится при формализации, то все ОК
Namdak Tonpa
@5HT
Apr 07 2016 13:38
билеты уже проданы :-)
Zeit Raffer
@zraffer
Apr 07 2016 13:38
ха!
Namdak Tonpa
@5HT
Apr 07 2016 13:39
я еще и пост бомбанул )
Zeit Raffer
@zraffer
Apr 07 2016 13:39
текст ты не менял, да?
Namdak Tonpa
@5HT
Apr 07 2016 13:39
на сайте не менял
Zeit Raffer
@zraffer
Apr 07 2016 13:40
"Не проебите шанс понять всю хуйню сразу! " - пиздец, бля, пост ))