Планета LUG

О том, как перейти с Windows на Linux много всего написано. В основном, предлагается такой путь: поставили linux, перезагрузились... Все. Обратной дороги нет. Начинаем жить по новому: ищем альтернативы знакомым программам, вырабатываем новые привычки и так далее.

Нашёл у Гейтинга [1] иллюстрацию к изоморфизму Карри-Ховарда. Что интересно: насколько я понял, эта иллюстрация была сформулирована до самого изоморфизма.
RSS-материал RSS-материал