These are chat archives for groupoid/exe

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