These are chat archives for groupoid/exe

16th
Feb 2016
Zeit Raffer
@zraffer
Feb 16 2016 18:13
(а тут я запишу завтра, что у нас произойдет с кодировкой при переходе на предикативную иерархию)
Namdak Tonpa
@5HT
Feb 16 2016 23:23
UTF-8 is an coinductive boolean based encoding.