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

GMT+3
[00:00:52] komar вышел(а) из комнаты
[00:33:58] komar вошёл(а) в комнату
[01:08:07] komar вышел(а) из комнаты: Connection failed: connection closed
[01:09:33] Kakadu вышел(а) из комнаты
[01:10:32] Kakadu вошёл(а) в комнату
[01:12:28] vladimir.chujkov вошёл(а) в комнату
[01:19:23] vladimir.chujkov вышел(а) из комнаты
[01:39:53] vladimir.chujkov вышел(а) из комнаты
[02:08:51] Kakadu вышел(а) из комнаты
[03:18:16] komar вошёл(а) в комнату
[07:13:22] komar вышел(а) из комнаты: Connection failed: connection closed
[10:21:58] grouzen вошёл(а) в комнату
[10:55:18] grouzen вышел(а) из комнаты
[11:40:15] Kakadu вошёл(а) в комнату
[13:04:46] komar вошёл(а) в комнату
[13:36:56] komar вышел(а) из комнаты: Connection failed: connection closed
[13:49:28] komar вошёл(а) в комнату
[14:02:30] komar вышел(а) из комнаты: Stream closed by us: Replaced by new connection (conflict)
[14:02:31] komar вошёл(а) в комнату
[16:10:54] komar вышел(а) из комнаты
[17:03:50] komar вошёл(а) в комнату
[17:43:28] komar вышел(а) из комнаты: Stream closed by us: Replaced by new connection (conflict)
[17:43:29] komar вошёл(а) в комнату
[17:44:39] begemot_sun вошёл(а) в комнату
[18:22:08] komar вышел(а) из комнаты: Connection failed: connection closed
[19:50:29] f[x] вошёл(а) в комнату
[21:10:22] grouzen вошёл(а) в комнату
[22:23:00] vladimir.chujkov вошёл(а) в комнату
[22:56:33] begemot_sun вышел(а) из комнаты
[23:04:36] komar вошёл(а) в комнату
Powered by ejabberd - robust, scalable and extensible XMPP server Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!