OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Воскресенье, 20 октября 2013< ^ >

Конфигурация комнаты

Участники комнаты

GMT+4
[02:39:58] strobegen вышел(а) из комнаты
[02:53:00] tilarids вышел(а) из комнаты: Machine going to sleep
[03:26:12] tilarids вошёл(а) в комнату
[03:30:36] tilarids вышел(а) из комнаты: Machine going to sleep
[04:40:36] strobegen вошёл(а) в комнату
[04:44:34] komar вышел(а) из комнаты: Replaced by new connection
[04:44:34] komar вошёл(а) в комнату
[05:06:12] komar вышел(а) из комнаты: Replaced by new connection
[05:06:12] komar вошёл(а) в комнату
[05:36:42] tilarids вошёл(а) в комнату
[05:58:55] komar вышел(а) из комнаты: Replaced by new connection
[05:58:55] komar вошёл(а) в комнату
[09:09:23] strobegen вышел(а) из комнаты
[09:12:31] komar вышел(а) из комнаты: Replaced by new connection
[09:12:31] komar вошёл(а) в комнату
[09:31:41] strobegen вошёл(а) в комнату
[09:32:03] strobegen вышел(а) из комнаты
[09:32:54] strobegen вошёл(а) в комнату
[09:47:28] komar вышел(а) из комнаты: Replaced by new connection
[09:47:28] komar вошёл(а) в комнату
[09:52:55] ermine вошёл(а) в комнату
[11:18:40] Kakadu вошёл(а) в комнату
[11:31:56] komar вышел(а) из комнаты: Replaced by new connection
[11:31:56] komar вошёл(а) в комнату
[12:20:54] <Kakadu> http://paste.in.ua/8887/#11 Есть идеи почему модуль может быть не найден?
[12:21:00] <Kakadu> А то я что-то туплю
[12:22:30] komar вышел(а) из комнаты: Replaced by new connection
[12:22:30] komar вошёл(а) в комнату
[12:41:01] Kakadu вышел(а) из комнаты
[15:06:48] komar вышел(а) из комнаты: Replaced by new connection
[15:06:48] komar вошёл(а) в комнату
[15:26:52] ftrvxmtrx вышел(а) из комнаты
[15:28:53] Kakadu вошёл(а) в комнату
[15:29:01] ftrvxmtrx вошёл(а) в комнату
[15:39:40] ftrvxmtrx вышел(а) из комнаты
[16:43:45] Typhon вошёл(а) в комнату
[16:48:12] <Typhon> > Доделал свой проверяльщик многопоточного.
[16:48:19] <Typhon> gds: сам в итоге проверяльщик сделал?
[16:48:26] <Typhon> (лог не читай @ вопрос задавай)
[16:54:24] komar вышел(а) из комнаты: Replaced by new connection
[16:54:24] komar вошёл(а) в комнату
[17:01:53] komar вышел(а) из комнаты: Replaced by new connection
[17:01:54] komar вошёл(а) в комнату
[17:29:47] komar вышел(а) из комнаты: Replaced by new connection
[17:29:47] komar вошёл(а) в комнату
[17:46:10] Typhon вышел(а) из комнаты
[18:38:08] Typhon вошёл(а) в комнату
[18:55:59] Kakadu вышел(а) из комнаты
[19:06:05] <gds> Typhon: ага. Посмотрел на spin, на его концепции, но потом понял, что конкретно моя задача гораздо более простая. За пару дней сделалось. Заодно могу всяко менять код, которого там 750 строк моего размашистого стиля, включая комментарии.
[19:29:18] Typhon вышел(а) из комнаты
[20:22:40] komar вышел(а) из комнаты: Replaced by new connection
[20:22:40] komar вошёл(а) в комнату
[21:11:06] ftrvxmtrx вошёл(а) в комнату
[21:16:10] tilarids вышел(а) из комнаты
[21:16:55] tilarids вошёл(а) в комнату
[21:40:30] komar вышел(а) из комнаты: Replaced by new connection
[21:40:30] komar вошёл(а) в комнату
[22:14:38] Kakadu вошёл(а) в комнату
[22:42:39] <gds> очередной высер штангиста: http://thesz.livejournal.com/1406420.html (я не сам читаю, мне скинули на поржать). Найдите минимальный достаточный кусок бреда.
[22:44:57] Kakadu вышел(а) из комнаты
[22:57:37] komar вышел(а) из комнаты: Replaced by new connection
[22:57:37] komar вошёл(а) в комнату
[23:18:25] ermine вышел(а) из комнаты
[23:19:12] komar вышел(а) из комнаты: Logged out
[23:19:14] komar вошёл(а) в комнату
[23:23:42] Typhon вошёл(а) в комнату