Home
OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc
ocaml@conference.jabber.ru
Пятница, 1 ноября 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:08:53] ftrvxmtrx вышел(а) из комнаты
[02:02:04] Zbroyar вошёл(а) в комнату
[02:23:36] f[x] вошёл(а) в комнату
[02:39:59] strobegen вышел(а) из комнаты
[03:02:45] f[x] вышел(а) из комнаты
[03:06:41] f[x] вошёл(а) в комнату
[03:21:41] f[x] вышел(а) из комнаты
[03:29:29] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[03:29:37] ForNeVeR вошёл(а) в комнату
[03:41:21] ftrvxmtrx вышел(а) из комнаты
[04:58:33] gds вышел(а) из комнаты
[04:59:25] gds вошёл(а) в комнату
[06:05:11] strobegen вошёл(а) в комнату
[06:15:41] strobegen вышел(а) из комнаты
[06:16:02] strobegen вошёл(а) в комнату
[06:19:16] strobegen вышел(а) из комнаты
[06:19:33] strobegen вошёл(а) в комнату
[06:46:48] tilarids вышел(а) из комнаты: Machine going to sleep
[07:47:02] tilarids вошёл(а) в комнату
[07:58:32] tilarids вышел(а) из комнаты: Machine going to sleep
[08:47:06] Zbroyar вышел(а) из комнаты
[09:04:25] gds вышел(а) из комнаты
[09:04:36] gds вошёл(а) в комнату
[09:56:16] Zbroyar вошёл(а) в комнату
[09:58:03] Zbroyar вышел(а) из комнаты
[10:18:49] f[x] вошёл(а) в комнату
[10:36:32] ermine вошёл(а) в комнату
[11:12:18] klapaucius вошёл(а) в комнату
[11:25:41] f[x] вышел(а) из комнаты
[11:32:52] komar вошёл(а) в комнату
[11:38:02] Typhon вошёл(а) в комнату
[11:43:09] ftrvxmtrx вошёл(а) в комнату
[11:45:45] Kakadu вошёл(а) в комнату
[11:51:39] komar вышел(а) из комнаты: Replaced by new connection
[11:51:39] komar вошёл(а) в комнату
[12:16:07] Typhon вышел(а) из комнаты
[12:16:36] Typhon вошёл(а) в комнату
[12:28:12] <Kakadu> gds: https://bitbucket.org/gds/ocamlbuild-coq-attempt А на сколько оно рабочее?
[13:20:33] ermine вышел(а) из комнаты
[13:23:54] gds вышел(а) из комнаты
[13:25:01] ForNeVeR вышел(а) из комнаты
[13:25:22] gds вошёл(а) в комнату
[13:26:42] <gds> Kakadu: оно нерабочее полностью.  Сейчас прибью репку, кстати.  Если нужен подход, который я использую для этого дела сейчас -- сообщи.
[13:27:15] ForNeVeR вошёл(а) в комнату
[14:19:38] <Kakadu> там gasche сожалеет что ты прибил репку и он не может посмотреть что у тебя не получилось
[14:30:45] <gds> Kakadu: если не влом, передай: "I've described the problem in caml-list: https://groups.google.com/forum/#!topic/fa.caml/8tcZCYK41v8 "
[14:32:03] <Kakadu> Он видел ссылку. Просто  "I don't really understand the problem from the ML discussion"
[14:34:26] ermine вошёл(а) в комнату
[14:38:05] <gds> Kakadu: ща занят, попозже сконструирую ему минимальный пример, даже без кококо.  И либо тебе отпишу, либо, если тебе лень передастом работать, сам пойду базарить с ним.
[14:39:49] ftrvxmtrx вышел(а) из комнаты
[14:45:45] f[x] вошёл(а) в комнату
[14:46:21] komar вышел(а) из комнаты: Replaced by new connection
[14:46:22] komar вошёл(а) в комнату
[14:56:40] f[x] вышел(а) из комнаты
[15:01:11] komar вышел(а) из комнаты: Replaced by new connection
[15:01:11] komar вошёл(а) в комнату
[15:04:40] ftrvxmtrx вошёл(а) в комнату
[16:05:34] komar вышел(а) из комнаты: Replaced by new connection
[16:05:34] komar вошёл(а) в комнату
[16:19:07] komar вышел(а) из комнаты: Replaced by new connection
[16:19:07] komar вошёл(а) в комнату
[16:20:30] ftrvxmtrx вышел(а) из комнаты
[17:34:18] komar вышел(а) из комнаты: Replaced by new connection
[17:34:19] komar вошёл(а) в комнату
[18:01:41] komar вышел(а) из комнаты
[18:38:43] komar вошёл(а) в комнату
[18:39:06] komar вышел(а) из комнаты: Replaced by new connection
[18:39:07] komar вошёл(а) в комнату
[18:57:49] strobegen вышел(а) из комнаты
[19:09:58] f[x] вошёл(а) в комнату
[19:19:51] tilarids вошёл(а) в комнату
[19:30:37] tilarids вышел(а) из комнаты: Machine going to sleep
[19:41:34] komar вышел(а) из комнаты: Replaced by new connection
[19:41:34] komar вошёл(а) в комнату
[19:48:55] komar вышел(а) из комнаты: Logged out
[19:49:00] komar вошёл(а) в комнату
[20:18:44] f[x] вышел(а) из комнаты
[20:32:30] Kakadu вышел(а) из комнаты
[20:38:47] tilarids вошёл(а) в комнату
[20:59:38] Typhon вышел(а) из комнаты
[21:10:13] komar вышел(а) из комнаты: Replaced by new connection
[21:10:14] komar вошёл(а) в комнату
[21:25:44] komar вышел(а) из комнаты: Replaced by new connection
[21:25:44] komar вошёл(а) в комнату
[21:41:44] Kakadu вошёл(а) в комнату
[22:33:39] komar вышел(а) из комнаты: Replaced by new connection
[22:33:40] komar вошёл(а) в комнату
[23:06:21] Kakadu вышел(а) из комнаты
[23:11:08] ermine вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!