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

ocaml@conference.jabber.ru

Четверг, 31 октября 2013< ^ >

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

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

GMT+4
[00:07:02] f[x] вошёл(а) в комнату
[00:18:09] olibjerd вышел(а) из комнаты
[00:36:31] aleksey вошёл(а) в комнату
[00:57:11] Typhon вошёл(а) в комнату
[01:03:49] Typhon вышел(а) из комнаты
[01:07:00] Typhon вошёл(а) в комнату
[01:10:27] tilarids вошёл(а) в комнату
[01:29:51] aleksey вышел(а) из комнаты
[01:46:59] Typhon вышел(а) из комнаты
[02:11:28] f[x] вышел(а) из комнаты
[02:24:57] Zbroyar вышел(а) из комнаты
[06:19:57] strobegen вошёл(а) в комнату
[06:44:29] tilarids вышел(а) из комнаты: Machine going to sleep
[06:58:58] ermine вошёл(а) в комнату
[07:49:25] tilarids вошёл(а) в комнату
[08:27:48] tilarids вышел(а) из комнаты: Machine going to sleep
[08:53:54] ForNeVeR вышел(а) из комнаты
[08:58:15] ForNeVeR вошёл(а) в комнату
[08:58:20] tilarids вошёл(а) в комнату
[09:23:30] olibjerd вошёл(а) в комнату
[09:43:54] tilarids вышел(а) из комнаты: Machine going to sleep
[10:22:47] f[x] вошёл(а) в комнату
[10:46:48] f[x] вышел(а) из комнаты
[12:09:21] aleksey вошёл(а) в комнату
[12:14:59] f[x] вошёл(а) в комнату
[12:25:12] Kakadu вошёл(а) в комнату
[13:01:08] Typhon вошёл(а) в комнату
[13:32:17] komar вошёл(а) в комнату
[14:14:15] <f[x]> прекрасное с SO : xsd2coq
[14:16:55] <gds> но зачем?
[14:17:00] <f[x]> :)
[14:17:35] <f[x]> http://stackoverflow.com/questions/19486531/asking-about-the-running-time-of-a-program
[14:17:42] <gds> хотя, может, аффтар извращенец, генерит xml из кококо и доказывает, что генерение всегда блюдёт схему?
[15:17:07] f[x] вышел(а) из комнаты
[15:39:09] ftrvxmtrx вошёл(а) в комнату
[16:59:30] ftrvxmtrx вышел(а) из комнаты
[17:11:39] f[x] вошёл(а) в комнату
[17:25:59] ftrvxmtrx вошёл(а) в комнату
[17:28:58] olibjerd вышел(а) из комнаты
[18:13:52] ftrvxmtrx вышел(а) из комнаты
[18:14:08] ftrvxmtrx вошёл(а) в комнату
[18:17:32] klapaucius вышел(а) из комнаты
[19:42:25] olibjerd вошёл(а) в комнату
[19:54:07] Typhon вышел(а) из комнаты
[20:08:48] ftrvxmtrx вышел(а) из комнаты
[20:08:50] ftrvxmtrx вошёл(а) в комнату
[20:11:26] ftrvxmtrx вышел(а) из комнаты
[20:11:30] ftrvxmtrx вошёл(а) в комнату
[20:13:58] f[x] вышел(а) из комнаты
[20:25:53] tilarids вошёл(а) в комнату
[21:18:13] Kakadu вышел(а) из комнаты
[22:11:36] Kakadu вошёл(а) в комнату
[22:31:53] Typhon вошёл(а) в комнату
[22:45:10] ftrvxmtrx вышел(а) из комнаты
[22:48:54] ftrvxmtrx вошёл(а) в комнату
[22:56:41] f[x] вошёл(а) в комнату
[22:57:36] ermine вышел(а) из комнаты
[23:02:43] f[x] вышел(а) из комнаты
[23:10:40] Kakadu вышел(а) из комнаты
[23:22:04] komar вышел(а) из комнаты: Replaced by new connection
[23:22:11] komar вошёл(а) в комнату
[23:47:09] komar вышел(а) из комнаты: Logged out
[23:53:00] ftrvxmtrx вошёл(а) в комнату
[23:58:14] Typhon вышел(а) из комнаты