0086aedaf...79.jpeg, 41.35 KB, 650x474, exif ggl iqdb
Неспроста оказывается петушки всегда требуют пруфы. Традиция заложена ещё в 80-е годы.
https://coq.inria.fr/tutorial-nahas

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

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