Последнее на форуме
Последние статьиСейчас на сайтеСейчас на сайте 0 пользователей и 23 гостя.
|
math19.10.2010 - 20:17
Haskell monads для физматовца. Краткое введениеНу что, попробую пополнить ряды haskell newbies 02.08.2010 - 14:22
Небольшая иллюстрация к предыдущему
Нашёл у Гейтинга [1] иллюстрацию к изоморфизму Карри-Ховарда. Что интересно: насколько я понял, эта иллюстрация была сформулирована до самого изоморфизма.
|
ОпросНужно ли делать основным новый сайт beta.lug-mgn.ru ? Да, нужно 83% Нет, не нужно 17% Сначала надо сделать на нём фичу X (указал в комментариях) 0% Сначала надо сделать для него дизайн (готов взяться) 0% Всего голосов: 6 |