Bizarre function

[deni_ok]

В блоге у Филип(п)а Вадлера вот какой сегодня пост появился.

Рассмотрим тотальные предикаты над потоками булевых значений:

-- в этом потоке на i-ом месте ложь

Comments

[avva]

Спасибо, очень мило!

[ext_72902]

Озвонареть.

Всегда думал, что такой exists возможен, но не думал, что это так просто.

Гильбертов \epsilon рулит.

[alexey_rom]

Обобщение:

[alexey_rom]

Обобщение.

[deni_ok]

Спасибо!