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

ocaml@conference.jabber.ru

Вторник, 3 сентября 2013< ^ >

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

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

GMT+4
[01:54:02] ftrvxmtrx вошёл(а) в комнату
[03:46:02] komar вышел(а) из комнаты: Logged out
[06:30:48] f[x] вошёл(а) в комнату
[07:48:44] avkarpich вошёл(а) в комнату
[10:12:08] zinid вошёл(а) в комнату
[10:16:07] f[x] вышел(а) из комнаты
[10:41:42] dicu вошёл(а) в комнату
[10:56:55] f[x] вошёл(а) в комнату
[10:58:33] ermine вошёл(а) в комнату
[11:05:15] <avkarpich> ermine: alexey как-то говорил, что к тебе можно обратиться для того, чтобы заиметь логи jabber-конфы coq@c.j.r. собственно, обращаюсь)
[11:17:42] arn вошёл(а) в комнату
[11:20:56] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[11:21:14] ForNeVeR вошёл(а) в комнату
[12:45:29] avkarpich вышел(а) из комнаты
[13:04:17] Kakadu вошёл(а) в комнату
[13:25:15] Typhon вошёл(а) в комнату
[13:26:55] Typhon вышел(а) из комнаты: Replaced by new connection
[13:27:05] Typhon вошёл(а) в комнату
[13:40:58] komar вошёл(а) в комнату
[13:55:30] Typhon вышел(а) из комнаты
[14:02:04] Kakadu вышел(а) из комнаты
[14:12:14] Typhon вошёл(а) в комнату
[14:17:29] Kakadu вошёл(а) в комнату
[15:40:12] Zbroyar вышел(а) из комнаты
[15:43:58] f[x] вышел(а) из комнаты
[17:36:24] f[x] вошёл(а) в комнату
[18:56:07] zinid вышел(а) из комнаты
[19:04:58] zinid вошёл(а) в комнату
[19:06:55] arn вышел(а) из комнаты
[19:14:57] zinid вышел(а) из комнаты: Replaced by new connection
[19:14:57] zinid вошёл(а) в комнату
[19:23:09] zinid вышел(а) из комнаты
[19:54:50] ForNeVeR вошёл(а) в комнату
[21:01:47] f[x] вышел(а) из комнаты
[21:26:49] Kakadu вышел(а) из комнаты
[23:09:38] Typhon вышел(а) из комнаты
[23:28:37] ftrvxmtrx вышел(а) из комнаты
[23:29:09] ftrvxmtrx вошёл(а) в комнату
[23:34:32] ftrvxmtrx вышел(а) из комнаты
[23:34:34] ftrvxmtrx вошёл(а) в комнату
[23:37:41] ftrvxmtrx вышел(а) из комнаты
[23:37:43] ftrvxmtrx вошёл(а) в комнату
[23:39:38] ForNeVeR вышел(а) из комнаты
[23:45:47] ermine вышел(а) из комнаты
[23:46:30] Typhon вошёл(а) в комнату
[23:57:41] Typhon вышел(а) из комнаты: Replaced by new connection
[23:57:51] Typhon вошёл(а) в комнату