как-то похуй (всем)

@ulidtko не всегда, я например уважаю математиков и математические приколюхи, жаль что я слишком тупой чтобы понять многоие из них

@mugiseyebrows пруф или слишком молод, чтобы оценить выводы ОПа

сраные хаскелисты скоро опустятся до репостов смищных картинок про хаскель, лишь бы код не писать

@komar хотя постойте, уже было на аватарке дедфуда как ламборджини в деревне, ага

Coq (и CoC) придумали в ~84, а в ~91 уже перевели на CiC. чувак, матрица в 99 году вышла!

@jtootf а-а-а блядь говорящий жтутф

@komar ААААА, не затыкающийся комар!

@komar ент