>>bzc
>петушки требуют пруфы
Если это игра слов, то в чем ее суть?

>>bzd
А суть в том, что язык называется "питух" (фр. coq), а пишут на нем формальные пруфы (proofs) к хаскелепрограммам, которые питух-конпелятор затем автоматически проверяет, выдавая гарантии корректности программы.