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

ocaml@conference.jabber.ru

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

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

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

GMT+4
[00:06:46] Typhon вышел(а) из комнаты
[02:16:16] tilarids вышел(а) из комнаты: Machine going to sleep
[06:27:43] f[x] вошёл(а) в комнату
[06:53:57] avkarpich вошёл(а) в комнату
[07:06:05] <avkarpich> всем питушни, посоны! http://sole.dimi.uniud.it/~marino.miculan/wordpress/downloads/erlang-coq-synthesizer/
[07:08:24] komar вышел(а) из комнаты: Replaced by new connection
[07:08:24] komar вошёл(а) в комнату
[08:32:21] tilarids вошёл(а) в комнату
[09:51:12] f[x] вышел(а) из комнаты
[10:30:44] ermine вошёл(а) в комнату
[10:58:05] Typhon вошёл(а) в комнату
[11:24:25] f[x] вошёл(а) в комнату
[11:24:52] <f[x]> почему sulci до сих пор не в опам?!
[11:25:08] <f[x]> у нас тут уже есть зашкваренные
[11:30:53] <f[x]> ermine: даёшь опам репо камлунити
[12:17:10] Kakadu вошёл(а) в комнату
[12:51:16] tilarids вышел(а) из комнаты: Machine going to sleep
[12:54:56] komar вышел(а) из комнаты: Logged out
[12:54:58] komar вошёл(а) в комнату
[13:11:46] <ermine> f[x]: даю
[13:20:46] klapaucius вошёл(а) в комнату
[15:32:57] avkarpich вышел(а) из комнаты
[15:50:54] f[x] вышел(а) из комнаты
[16:00:50] zinid вошёл(а) в комнату
[16:51:23] f[x] вошёл(а) в комнату
[17:14:38] komar вышел(а) из комнаты: Logged out
[17:35:14] komar вошёл(а) в комнату
[18:30:50] tilarids вошёл(а) в комнату
[19:34:48] Typhon вышел(а) из комнаты
[19:35:31] <gds> проверка императивного алгоритма буферизованного чтения: http://gds.livejournal.com/67006.html (Coq, OCaml)
[19:36:56] <f[x]> "тогда я взял coq"
[19:37:10] <gds> и твёрдо сжал его правой рукой.
[19:37:47] <gds> после нескольких несложных действий я понял, что всё реально, всё в моих руках, и конец будет достигнут.
[19:51:20] zinid вышел(а) из комнаты
[20:14:16] Kakadu вышел(а) из комнаты: Logged out
[22:55:13] f[x] вышел(а) из комнаты
[23:37:44] komar вышел(а) из комнаты
[23:37:46] komar вошёл(а) в комнату
[23:52:52] ermine вышел(а) из комнаты