Home
Objective Caml
ocaml@conference.jabber.ru
Воскресенье, 31 марта 2013< ^ >
f[x] установил(а) тему: OCaml / ОКэмл / Камль -- http://ocaml.org/ | Камло - http://camlunity.ru/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв и тормозит, move on | stdlib only? - ССЗБ | Fight FUD with fire | Мойте руки перед чатом | KEEP CAML AND CURRY ON | F#, Coq - де-факто онтопик
Конфигурация комнаты
Участники комнаты

GMT+4
[00:40:41] f[x] вошёл(а) в комнату
[00:53:33] Kakadu вышел(а) из комнаты
[02:14:18] f[x] вышел(а) из комнаты
[02:39:53] strobegen вышел(а) из комнаты
[08:17:59] strobegen вошёл(а) в комнату
[09:13:12] Kakadu вошёл(а) в комнату
[09:49:27] zinid вошёл(а) в комнату
[10:50:10] Sun][ вошёл(а) в комнату
[11:29:39] ermine вошёл(а) в комнату
[11:36:34] UncleVasya вошёл(а) в комнату
[12:12:04] alexmlw вошёл(а) в комнату
[14:45:12] <ermine> gds: фух, получилось доказать коммутативность сложения, вроде примерно поняа в чем фишка, хотя местами меня брали сомнения "а фигли тут еще одна индукция нужна?"
[14:46:36] <ermine> gds: но вообще у меня число индукций вроде на одну штуку меньше, чем в твоем доказательстве
[14:48:24] <ermine> а нет, не меньше
[15:55:25] Sun][ вышел(а) из комнаты
[15:59:53] Sun][ вошёл(а) в комнату
[16:32:36] Typhon вошёл(а) в комнату
[18:51:34] UncleVasya вышел(а) из комнаты
[19:08:22] zinid вышел(а) из комнаты
[20:51:34] f[x] вошёл(а) в комнату
[21:12:00] Typhon вышел(а) из комнаты
[21:15:20] alexmlw вышел(а) из комнаты
[21:21:59] f[x] вышел(а) из комнаты
[21:26:40] Sun][ вышел(а) из комнаты
[21:47:56] Sun][ вошёл(а) в комнату
[22:41:00] ermine вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!