MskHUG 13/1 (original) (raw)

MskHUG 13/1	[Jan. 7th, 2013\|03:36 pm]Лямбда - функциональное программирование
[Tags\|mskhug]Хочу напомнить, что 10-го января, в 19:00, в конференц-центре на Филипповском (зал 4.11) будет как всегда внеочередное собрание интересующихся программированием на Хаскеле.Докладов будет два, на этот раз - Врадимир Комендантский расскажет про Agda2/Coq в обучении логике и я собираюсь рассказать про насыщение равенствами (это такой простой подход к оптимизации) и смежные вопросы.Как всегда, будут чай, кофе и печеньки.
link	Reply

MskHUG 13/1

[Jan. 7th, 2013|03:36 pm]Лямбда - функциональное программирование

[**Tags**|mskhug]Хочу напомнить, что 10-го января, в 19:00, в конференц-центре на Филипповском (зал 4.11) будет как всегда внеочередное собрание интересующихся программированием на Хаскеле.Докладов будет два, на этот раз - Врадимир Комендантский расскажет про Agda2/Coq в обучении логике и я собираюсь рассказать про насыщение равенствами (это такой простой подход к оптимизации) и смежные вопросы.Как всегда, будут чай, кофе и печеньки.

link