lambda | Магнитогорская группа пользователей Linux

lambda

02.08.2010 - 14:22

Небольшая иллюстрация к предыдущему

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

Опрос

Нужно ли делать основным новый сайт beta.lug-mgn.ru ?

Да, нужно

83%

Нет, не нужно

17%

Сначала надо сделать на нём фичу X (указал в комментариях)

0%

Сначала надо сделать для него дизайн (готов взяться)

0%

Всего голосов: 6

Миничат

04.11, 22:19

Уф.Все прошло образцово! Встреча удалась, спасибо всем кто пришел!Обязуюсь в след. раз не опаздывать.

04.11, 11:22

На всякий случай, толпы студенток не будет Smiling

Smiling

))

03.11, 21:41

И вообще: знаковое мероприятие получается: по данным лора - на днях - 40 лет unix, 20 лет vim, у @jmaxt др Laughing out loud

Laughing out loud

03.11, 21:39

IV_Popova: не вопрос! Рады и новым участникам луг, и просто сочувствующим, хорошим человекам:-) Сергей и Павел берут жен, так что все норм.

03.11, 20:07

Ничего страшного, если я приду не одна?

01.11, 10:53

4 ноября 19:00 пиццерия Танго на дружбе - неофициальная встреча LUG. Ориентир - талисман луг - пингвин. До встречи там!

25.10, 23:31

Миша тормозит с фотографиями: прислали ещё Храмченко и Хотеев!

25.10, 10:51

Видел такое когда-то на nixp.ru, больше нигде не видел. Нужную ассоциацию вроде вызывает…

24.10, 23:01

Вопрос:" ~/new - это общепринятое выделение нового материала на Linux-форумах?"

22.10, 23:24

И пусть грызут логти те, кто не приехал! Все прошло замечательно!