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

ocaml@conference.jabber.ru

Среда, 7 августа 2013< ^ >

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

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

GMT+4
[00:02:11] Typhon вышел(а) из комнаты
[00:18:06] komar вошёл(а) в комнату
[00:27:10] ermine вышел(а) из комнаты
[01:33:32] tilarids вышел(а) из комнаты: Computer went to sleep
[01:38:17] tilarids вошёл(а) в комнату
[01:53:13] ftrvxmtrx вышел(а) из комнаты
[01:54:32] ftrvxmtrx вошёл(а) в комнату
[02:29:42] tilarids вышел(а) из комнаты: Computer went to sleep
[04:32:51] f[x] вошёл(а) в комнату
[05:14:39] f[x] вышел(а) из комнаты
[05:18:05] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[05:18:55] ForNeVeR вошёл(а) в комнату
[05:41:15] f[x] вошёл(а) в комнату
[06:14:35] zinid вошёл(а) в комнату
[06:47:27] komar вышел(а) из комнаты
[07:24:46] avkarpich вошёл(а) в комнату
[07:27:16] <avkarpich> https://github.com/tcarstens/verlang -- рабочий велосипед для экстракции Coq в недоэрланг. Так победим!
[07:28:50] <f[x]> нужен экстрактер в жабоскрипт
[07:37:58] <avkarpich> держи https://bitbucket.org/yoshihiro503/coq2javascript
[07:38:41] <avkarpich> правда я не проверял его работоспособность, щас соберу deb пакет для verlang, чтобы любопытствующие могли потыкать.
[07:49:13] <f[x]> нужно быть осторожней в своих желаниях..
[08:40:10] tilarids вошёл(а) в комнату
[08:42:58] tilarids вышел(а) из комнаты: Computer went to sleep
[08:51:19] <f[x]> avkarpich: в твоём жж атом поломанный
[08:57:28] <avkarpich> f[x]: я планирую свалить оттуда, ибо сервис скатился.
[09:21:41] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[09:27:45] ForNeVeR вошёл(а) в комнату
[09:51:09] ermine вошёл(а) в комнату
[10:03:37] f[x] вышел(а) из комнаты
[11:07:37] Typhon вошёл(а) в комнату
[11:12:00] Typhon вышел(а) из комнаты: Replaced by new connection
[11:12:10] Typhon вошёл(а) в комнату
[11:16:45] f[x] вошёл(а) в комнату
[11:45:56] tilarids вошёл(а) в комнату
[11:59:09] komar вошёл(а) в комнату
[12:19:08] Typhon вышел(а) из комнаты
[12:19:59] komar вышел(а) из комнаты: Replaced by new connection
[12:19:59] komar вошёл(а) в комнату
[12:20:44] Typhon вошёл(а) в комнату
[12:22:48] komar вышел(а) из комнаты: Logged out
[12:22:52] komar вошёл(а) в комнату
[12:23:12] komar вышел(а) из комнаты: Logged out
[12:23:16] komar вошёл(а) в комнату
[12:45:26] tilarids вышел(а) из комнаты: Computer went to sleep
[15:44:47] avkarpich вышел(а) из комнаты
[15:49:28] ForNeVeR вышел(а) из комнаты
[15:57:02] ftrvxmtrx вышел(а) из комнаты
[15:58:40] ftrvxmtrx вошёл(а) в комнату
[16:16:13] tilarids вошёл(а) в комнату
[16:18:04] ftrvxmtrx вышел(а) из комнаты
[16:37:54] ftrvxmtrx вошёл(а) в комнату
[17:03:12] f[x] вышел(а) из комнаты
[17:03:46] ftrvxmtrx вышел(а) из комнаты
[17:06:13] ftrvxmtrx вошёл(а) в комнату
[17:22:28] Zbroyar вошёл(а) в комнату
[18:01:31] klapaucius вышел(а) из комнаты
[18:19:59] f[x] вошёл(а) в комнату
[18:48:35] tilarids вышел(а) из комнаты: Computer went to sleep
[19:28:30] tilarids вошёл(а) в комнату
[19:51:05] tilarids вышел(а) из комнаты
[19:59:58] zinid вышел(а) из комнаты
[21:17:47] ftrvxmtrx вышел(а) из комнаты
[21:17:58] ftrvxmtrx вошёл(а) в комнату
[21:19:41] f[x] вышел(а) из комнаты
[21:42:00] ftrvxmtrx вышел(а) из комнаты
[21:52:34] ftrvxmtrx вошёл(а) в комнату
[22:02:41] komar вышел(а) из комнаты: Replaced by new connection
[22:02:42] komar вошёл(а) в комнату