кокоданные
есть такие.программируя на Coq, в моменты ненависти я называю его Diq.
раз есть Сo-q, значит обязан быть и просто q!
отобрази свою область в мою кообласть, если ты понимаешь о чём я ;]
а потом отобразить это отображение на отображение между путиным и медведевым
э, ребяты, хватит тут строить гей-функторы!
Моноидный функтор себе катаморфируй, пёс
6 comments
recommend
bookmark
subscribe
есть такие.
программируя на Coq, в моменты ненависти я называю его Diq.
раз есть Сo-q, значит обязан быть и просто q!
отобрази свою область в мою кообласть, если ты понимаешь о чём я ;]
а потом отобразить это отображение на отображение между путиным и медведевым
э, ребяты, хватит тут строить гей-функторы!
Моноидный функтор себе катаморфируй, пёс