00:06
q66 has quit [Remote host closed the connection]
00:13
ollehar has joined #ocaml
00:28
jkl has joined #ocaml
00:29
ollehar has quit [Ping timeout: 256 seconds]
00:34
jkl has quit [Ping timeout: 246 seconds]
00:38
tchell has joined #ocaml
00:43
Drup has quit [Quit: Leaving.]
01:11
ygrek has joined #ocaml
01:14
eikke has quit [Ping timeout: 245 seconds]
01:19
madroach has quit [Ping timeout: 248 seconds]
01:21
madroach has joined #ocaml
01:29
ygrek has quit [Ping timeout: 252 seconds]
01:33
jkl has joined #ocaml
01:45
talzeus has joined #ocaml
02:05
Neros has joined #ocaml
02:10
mattrepl has joined #ocaml
02:14
mfp has quit [Ping timeout: 256 seconds]
02:26
emmanuelux has quit [Quit: emmanuelux]
02:27
mfp has joined #ocaml
02:34
dsheets has quit [Ping timeout: 256 seconds]
02:49
darkf has joined #ocaml
02:50
Neros has quit [Ping timeout: 264 seconds]
02:56
tianon has quit [Quit: "I'm a very important man. I've got a tower!"]
03:02
tianon has joined #ocaml
03:20
ygrek has joined #ocaml
03:33
* ygrek
doesn't get all this opam *.config stuff : asmcomp bytecomp etc
03:33
<
ygrek >
why not make use of ocamlfind here?
04:07
dezzy has quit [Read error: Connection reset by peer]
04:08
dezzy has joined #ocaml
04:40
caligula has quit [Ping timeout: 240 seconds]
04:51
talzeus has quit [Remote host closed the connection]
04:55
talzeus has joined #ocaml
04:55
ttamttam has joined #ocaml
05:03
ttamttam has quit [Quit: ttamttam]
05:18
Watcher7 is now known as Watcher7|off
05:23
Derander_ has quit [Read error: Operation timed out]
05:26
Derander has joined #ocaml
05:45
ggole has joined #ocaml
05:47
ygrek has quit [Ping timeout: 248 seconds]
05:54
talzeus has quit [Remote host closed the connection]
05:57
caligula has joined #ocaml
05:59
talzeus has joined #ocaml
06:01
Snark has joined #ocaml
06:07
caligula has quit [Quit: Konversation terminated!]
06:08
ttamttam has joined #ocaml
06:12
caligula has joined #ocaml
06:30
sgnb has quit [Remote host closed the connection]
06:35
sgnb has joined #ocaml
06:35
wwilly has joined #ocaml
06:42
zpe has joined #ocaml
06:42
Arsenik has joined #ocaml
06:54
zpe has quit [Ping timeout: 256 seconds]
06:58
wwilly has quit [Quit: Leaving]
07:01
djcoin has joined #ocaml
07:04
gnuvince has quit [Ping timeout: 256 seconds]
07:04
zpe has joined #ocaml
07:07
jkl has quit [Ping timeout: 240 seconds]
07:08
raichoo has joined #ocaml
07:14
Arsenik has quit [Remote host closed the connection]
07:15
bitbckt has quit [Ping timeout: 252 seconds]
07:15
bitbckt has joined #ocaml
07:15
weie_ has quit [Read error: Connection reset by peer]
07:17
brendan has quit [Ping timeout: 264 seconds]
07:17
hkBst has joined #ocaml
07:18
weie has joined #ocaml
07:26
brendan has joined #ocaml
07:27
hkBst has quit [Ping timeout: 256 seconds]
07:29
hkBst has joined #ocaml
07:29
hkBst has quit [Changing host]
07:29
hkBst has joined #ocaml
07:37
Kakadu has joined #ocaml
07:37
cago has joined #ocaml
07:38
jkl has joined #ocaml
07:43
chris2 has quit [Remote host closed the connection]
07:54
ygrek has joined #ocaml
07:55
Fnar has quit [Quit: Client exiting]
07:57
wwilly has joined #ocaml
08:02
zpe has quit [Remote host closed the connection]
08:04
mika1 has joined #ocaml
08:08
jbrown has joined #ocaml
08:09
Fnar has joined #ocaml
08:17
ontologiae has joined #ocaml
08:20
jsvgoncalves has joined #ocaml
08:33
mika1 has quit [Quit: Leaving.]
08:33
mika1 has joined #ocaml
08:35
chris2 has joined #ocaml
08:41
ollehar has joined #ocaml
08:50
sivoais has quit [Ping timeout: 264 seconds]
08:51
sivoais has joined #ocaml
08:55
mcclurmc has quit [Ping timeout: 252 seconds]
08:56
sivoais has quit [Read error: Connection reset by peer]
08:56
sivoais has joined #ocaml
09:04
sivoais has quit [Ping timeout: 256 seconds]
09:05
sivoais has joined #ocaml
09:06
Kakadu has quit [Read error: Connection reset by peer]
09:09
cdidd has quit [Read error: Connection reset by peer]
09:14
sivoais has quit [Read error: Connection reset by peer]
09:14
sivoais has joined #ocaml
09:18
mika1 has quit [Ping timeout: 256 seconds]
09:20
mika1 has joined #ocaml
09:22
cago has quit [Ping timeout: 252 seconds]
09:23
sivoais has quit [Ping timeout: 264 seconds]
09:24
mort___ has joined #ocaml
09:24
sivoais has joined #ocaml
09:27
cago has joined #ocaml
09:33
sivoais has quit [Ping timeout: 264 seconds]
09:33
sivoais has joined #ocaml
09:38
caligula has quit [Quit: Konversation terminated!]
09:39
zpe has joined #ocaml
09:42
sivoais has quit [Ping timeout: 256 seconds]
09:42
sivoais has joined #ocaml
09:48
mcclurmc has joined #ocaml
09:51
sivoais has quit [Ping timeout: 264 seconds]
09:51
sivoais has joined #ocaml
09:59
sivoais has quit [Ping timeout: 264 seconds]
10:00
sivoais has joined #ocaml
10:01
mika1 has quit [Quit: Leaving.]
10:01
mika1 has joined #ocaml
10:06
zpe has quit [Remote host closed the connection]
10:09
sivoais has quit [Ping timeout: 264 seconds]
10:09
sivoais has joined #ocaml
10:12
jkl has quit [Ping timeout: 264 seconds]
10:15
wagle has quit [Read error: Connection reset by peer]
10:15
wagle has joined #ocaml
10:17
sivoais has quit [Ping timeout: 256 seconds]
10:18
sivoais has joined #ocaml
10:19
Yoric has joined #ocaml
10:26
sivoais has quit [Ping timeout: 240 seconds]
10:28
sivoais has joined #ocaml
10:28
<
flux >
is there an ocaml library that will fit a x,y formula to a two-dimensional polynomial?
10:32
<
flux >
actually that's a bit too limiting condition. I'm interested in solving the following problem: given a set of x, y, z points, formulate a surface z = f(x, y) that smoothly touches those points
10:33
<
flux >
(f'(x,y) needs not be 0 at the points)
10:33
<
flux >
(hmm, I mean: it is not required that delta f(x, y) is (0, 0) at those points; it could be)
10:34
<
def-lkb >
GSL could do the job, there are caml-bindings
10:35
<
flux >
which one is better?
10:35
<
flux >
gsl -- GSL - Bindings to the GNU Scientific Library
10:35
<
flux >
ocamlgsl -- Interface to GSL (GNU scientific library)
10:36
sivoais has quit [Ping timeout: 252 seconds]
10:37
<
flux >
hmm, probably the same as 'gsl'
10:37
sivoais has joined #ocaml
10:37
<
flux >
def-lkb, how did you feel about the bindings?
10:37
hto has quit [Ping timeout: 256 seconds]
10:38
<
def-lkb >
bindings were "OK", though I didn't use them a lot
10:39
<
flux >
gsl seems to be GPL. I suppose fine, but I prefer a LGPL/BSD/MIT :)
10:45
sivoais has quit [Ping timeout: 260 seconds]
10:46
hto has joined #ocaml
10:46
sivoais has joined #ocaml
10:52
jsvgoncalves has quit [Ping timeout: 248 seconds]
10:53
jkl has joined #ocaml
10:55
sivoais has quit [Ping timeout: 264 seconds]
10:55
Drup has joined #ocaml
10:56
sivoais has joined #ocaml
10:58
q66 has joined #ocaml
11:04
jkl has quit [Quit: leaving]
11:04
sivoais has quit [Ping timeout: 264 seconds]
11:05
sivoais has joined #ocaml
11:08
_andre has joined #ocaml
11:14
sivoais has quit [Ping timeout: 248 seconds]
11:14
karswell` has quit [Remote host closed the connection]
11:15
sivoais has joined #ocaml
11:17
zpe has joined #ocaml
11:21
zpe has quit [Ping timeout: 256 seconds]
11:23
sivoais has quit [Ping timeout: 252 seconds]
11:24
sivoais has joined #ocaml
11:32
talzeus has quit [Remote host closed the connection]
11:33
sivoais has quit [Ping timeout: 256 seconds]
11:34
sivoais has joined #ocaml
11:43
sivoais has quit [Ping timeout: 248 seconds]
11:44
sivoais has joined #ocaml
11:52
sivoais has quit [Ping timeout: 248 seconds]
11:53
sivoais has joined #ocaml
12:00
Neros has joined #ocaml
12:02
sivoais has quit [Ping timeout: 264 seconds]
12:02
sivoais has joined #ocaml
12:03
ygrek has quit [Ping timeout: 248 seconds]
12:10
sivoais has quit [Ping timeout: 240 seconds]
12:12
sivoais has joined #ocaml
12:20
sivoais has quit [Ping timeout: 256 seconds]
12:21
sivoais has joined #ocaml
12:22
<
chris2 >
is there a nice way to call ocamlbuild such that it runs ocamlc -i with the correct findlib, packages etc?
12:29
sivoais has quit [Ping timeout: 248 seconds]
12:31
sivoais has joined #ocaml
12:31
<
chris2 >
ocamlbuild foo.mli doesnt not seem to work here
12:31
<
chris2 >
oh, ocamlbuild foo.inferred.mli
12:39
sivoais has quit [Ping timeout: 264 seconds]
12:40
sivoais has joined #ocaml
12:43
zpe has joined #ocaml
12:48
sivoais has quit [Ping timeout: 260 seconds]
12:49
sivoais has joined #ocaml
12:52
<
ttamttam >
chris2: try ocamlbuild -documentation | grep .mli
12:53
<
ttamttam >
You'll find that what you are looking for may be: ocamlbuild my_module.inferred.mli
12:56
<
chris2 >
yeah, i didnt see the .inferred. at first
12:56
<
chris2 >
ocamlbuild is magic :)
12:58
sivoais has quit [Ping timeout: 256 seconds]
12:59
sivoais has joined #ocaml
13:08
sivoais has quit [Ping timeout: 276 seconds]
13:09
sivoais has joined #ocaml
13:18
sivoais has quit [Ping timeout: 252 seconds]
13:18
sivoais has joined #ocaml
13:26
sivoais has quit [Ping timeout: 252 seconds]
13:27
rixed has quit [Quit: reconf screen]
13:27
sivoais has joined #ocaml
13:30
rixed has joined #ocaml
13:34
hto has quit [Read error: Connection reset by peer]
13:35
sivoais has quit [Ping timeout: 246 seconds]
13:36
hto has joined #ocaml
13:36
sivoais has joined #ocaml
13:42
dsheets has joined #ocaml
13:43
ben_zen has quit [Read error: Operation timed out]
13:44
beckerb has joined #ocaml
13:44
sivoais has quit [Ping timeout: 264 seconds]
13:45
sivoais has joined #ocaml
13:47
Yoric has joined #ocaml
13:49
hkBst has quit [Read error: Connection reset by peer]
13:50
hkBst has joined #ocaml
13:50
hkBst has quit [Changing host]
13:50
hkBst has joined #ocaml
13:51
dsheets has quit [Ping timeout: 248 seconds]
13:53
sivoais has quit [Ping timeout: 261 seconds]
13:54
sivoais has joined #ocaml
13:58
hsuh123 has quit [Quit: Page closed]
14:02
sivoais has quit [Ping timeout: 264 seconds]
14:03
sivoais has joined #ocaml
14:09
ben_zen has joined #ocaml
14:11
beckerb has quit [Quit: Konversation terminated!]
14:11
beckerb has joined #ocaml
14:11
sivoais has quit [Ping timeout: 256 seconds]
14:17
sivoais has joined #ocaml
14:22
ollehar has quit [Ping timeout: 264 seconds]
14:23
zpe has quit [Remote host closed the connection]
14:23
sivoais has quit [Ping timeout: 256 seconds]
14:24
sivoais has joined #ocaml
14:31
beckerb has quit [Read error: Connection reset by peer]
14:31
speredenn has joined #ocaml
14:32
sivoais has quit [Ping timeout: 260 seconds]
14:32
<
rgrinberg >
has anyone used js's custom_printf yet?
14:32
<
rgrinberg >
can't get it to work at the toplevel
14:33
sivoais has joined #ocaml
14:35
speredenn has quit [Client Quit]
14:36
<
gasche >
I'm not sure we actually need a custom printf
14:37
<
gasche >
there was a similar work as part of the Batteries effort
14:37
<
gasche >
but we already have a "built-in" printf that is overly extended in capabilities
14:37
<
gasche >
and I'm not sure there is a justification for using a syntax extension instead
14:38
<
gasche >
by the way
14:40
<
gasche >
Benoît Vaugon has re-implemented the built-in Printf in a very interesting, but also very long, patch submitted on the bug-tracker
14:40
<
gasche >
if people are interested in giving a hand reviewing and commenting it, they're more than welcome
14:41
<
rgrinberg >
gasche: maybe so, i'd have to try it out to make that judgement however
14:41
sivoais has quit [Ping timeout: 260 seconds]
14:41
<
rgrinberg >
anyway I almost always use other syntax extensions as well. maybe if this was the only one I'd agree it would be overkill
14:42
<
rgrinberg >
thanks for the link, i'll check it out
14:42
sivoais has joined #ocaml
14:44
zpe has joined #ocaml
14:45
beckerb has joined #ocaml
14:49
darkf has quit [Quit: Leaving]
14:50
ollehar has joined #ocaml
14:51
sivoais has quit [Ping timeout: 276 seconds]
14:51
sivoais has joined #ocaml
14:51
speredenn has joined #ocaml
14:52
smondet has joined #ocaml
14:59
raichoo has quit [Quit: leaving]
15:00
sivoais has quit [Ping timeout: 276 seconds]
15:00
talzeus_ has joined #ocaml
15:00
sivoais has joined #ocaml
15:01
talzeus_ has quit [Remote host closed the connection]
15:01
Yoric has quit [Ping timeout: 260 seconds]
15:04
beckerb has quit [Read error: Connection reset by peer]
15:04
ygrek has joined #ocaml
15:06
jpdeplaix` has quit [Ping timeout: 246 seconds]
15:09
sivoais has quit [Ping timeout: 240 seconds]
15:10
sivoais has joined #ocaml
15:14
speredenn has quit [Ping timeout: 246 seconds]
15:18
jpdeplaix has joined #ocaml
15:18
sivoais has quit [Ping timeout: 245 seconds]
15:19
sivoais has joined #ocaml
15:21
gnuvince has joined #ocaml
15:24
beckerb has joined #ocaml
15:26
gnuvince has quit [Ping timeout: 260 seconds]
15:27
sivoais has quit [Ping timeout: 245 seconds]
15:29
sivoais has joined #ocaml
15:33
hkBst has quit [Quit: Konversation terminated!]
15:34
ontologiae has quit [Quit: WeeChat 0.4.0]
15:35
beckerb has quit [Quit: Konversation terminated!]
15:37
sivoais has quit [Ping timeout: 240 seconds]
15:38
sivoais has joined #ocaml
15:39
ttamttam has quit [Quit: ttamttam]
15:41
beckerb has joined #ocaml
15:42
raichoo has joined #ocaml
15:44
Arsenik has joined #ocaml
15:47
sivoais has quit [Ping timeout: 264 seconds]
15:48
sivoais has joined #ocaml
15:51
mika1 has quit [Quit: Leaving.]
15:53
Kakadu has joined #ocaml
15:53
cdidd has joined #ocaml
15:55
zpe has quit [Remote host closed the connection]
15:56
sivoais has quit [Ping timeout: 246 seconds]
15:57
sivoais has joined #ocaml
15:59
ontologiae has joined #ocaml
15:59
wwilly has quit [Remote host closed the connection]
16:00
beckerb has quit [Read error: Connection reset by peer]
16:00
Neros has quit [Read error: Connection reset by peer]
16:01
Neros has joined #ocaml
16:06
speredenn has joined #ocaml
16:06
sivoais has quit [Ping timeout: 252 seconds]
16:06
sivoais has joined #ocaml
16:08
beckerb has joined #ocaml
16:08
ttamttam has joined #ocaml
16:13
mort___ has quit [Ping timeout: 276 seconds]
16:15
sivoais has quit [Ping timeout: 256 seconds]
16:16
sivoais has joined #ocaml
16:25
sivoais has quit [Ping timeout: 260 seconds]
16:26
sivoais has joined #ocaml
16:29
zpe has joined #ocaml
16:34
zpe has quit [Ping timeout: 264 seconds]
16:34
sivoais has quit [Ping timeout: 246 seconds]
16:35
sivoais has joined #ocaml
16:40
tane has joined #ocaml
16:44
sivoais has quit [Ping timeout: 256 seconds]
16:44
sivoais has joined #ocaml
16:47
beckerb has quit [Read error: Connection reset by peer]
16:49
Anarchos has joined #ocaml
16:49
mika1 has joined #ocaml
16:50
cago has quit [Ping timeout: 256 seconds]
16:50
ollehar has quit [Ping timeout: 264 seconds]
16:51
cago has joined #ocaml
16:51
ontologiae has quit [Ping timeout: 245 seconds]
16:52
sivoais has quit [Ping timeout: 252 seconds]
16:53
sivoais has joined #ocaml
17:00
zpe has joined #ocaml
17:00
sivoais has quit [Ping timeout: 248 seconds]
17:02
sivoais has joined #ocaml
17:09
zpe has quit [Ping timeout: 264 seconds]
17:10
sivoais has quit [Ping timeout: 252 seconds]
17:11
sivoais has joined #ocaml
17:16
mcclurmc has quit [Ping timeout: 245 seconds]
17:19
beckerb has joined #ocaml
17:20
sivoais has quit [Read error: Connection reset by peer]
17:20
sivoais has joined #ocaml
17:22
beckerb has quit [Read error: Operation timed out]
17:23
ttamttam has quit [Quit: ttamttam]
17:24
ygrek has quit [Ping timeout: 252 seconds]
17:28
mika1 has quit [Quit: Leaving.]
17:28
sivoais has quit [Ping timeout: 240 seconds]
17:30
sivoais has joined #ocaml
17:30
Drup has quit [Ping timeout: 252 seconds]
17:32
hongboz has joined #ocaml
17:33
<
wmeyer >
ousado: hello
17:33
<
ousado >
wmeyer: o/
17:33
<
ousado >
wmeyer: how is your day?
17:33
<
hongboz >
hi all, does anyone know how to test the dynlink support without depending on dynlink library?
17:34
<
ousado >
hongboz: hi! you need to write docs!!!!
17:34
<
ousado >
please pretty please
17:35
zpe has joined #ocaml
17:35
<
hongboz >
ousado: sure, just be a little patient :-)
17:36
<
hongboz >
I mean how do I know Dynlink.is_native without depending on Dynlink? does anyone know the trick?
17:38
sivoais has quit [Ping timeout: 252 seconds]
17:39
sivoais has joined #ocaml
17:43
zpe has quit [Ping timeout: 256 seconds]
17:47
sivoais has quit [Ping timeout: 248 seconds]
17:48
sivoais has joined #ocaml
17:51
<
ousado >
hongboz: actually a very small example that shows how the fan toolchain works would be enough
17:51
wwilly has joined #ocaml
17:53
<
wmeyer >
ousado: it's good. I am looking now for the hot tea, and fixing my chromebook.
17:54
<
hongboz >
smondet: thanks, but I don't want to dependent on async either
17:54
<
hongboz >
ousado: I already have several libraries written in Fan, (not fan itself), just take some time to doc it
17:55
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
17:55
<
hongboz >
smondet: I would take a look at how they implement it, thanks
17:55
<
ousado >
hongboz: dynlink just uses different implementation files for native and bytecode
17:55
<
ousado >
couldn't you do the same?
17:56
<
hongboz >
ousado: Yes, I see, dynlink and natdynlink, just try to avoid dependency on dynlink for Fan
17:57
raichoo has quit [Ping timeout: 264 seconds]
17:57
sivoais has quit [Ping timeout: 256 seconds]
17:57
dsheets has joined #ocaml
17:57
raichoo has joined #ocaml
17:58
sivoais has joined #ocaml
18:05
<
hongboz >
smondet: aha, the trick is to make use of the fact that bytecode has a different calling convention from native, nice
18:06
dsheets has quit [Ping timeout: 264 seconds]
18:06
sivoais has quit [Read error: Connection reset by peer]
18:06
sivoais has joined #ocaml
18:08
hongboz has left #ocaml []
18:12
Yoric has joined #ocaml
18:15
sivoais has quit [Ping timeout: 248 seconds]
18:16
sivoais has joined #ocaml
18:17
<
ousado >
anyone here using eliom?
18:18
<
ousado >
I have a question regarding client and server scopes
18:19
sivoais has quit [Client Quit]
18:24
ontologiae has joined #ocaml
18:27
<
asmanur >
ousado: ask away, and you might have an answer one day :)
18:28
thelema has joined #ocaml
18:28
thelema_ has quit [Remote host closed the connection]
18:29
<
ousado >
ok ;). how can I access top-level client_values defined in one {client{ .. }} scope from another such scope, defined later (in the same file)
18:30
tomprince has joined #ocaml
18:30
ollehar has joined #ocaml
18:31
<
asmanur >
ousado: well I'd say: either use a caml service or a bus depending on what you want to do
18:33
tomprince has left #ocaml []
18:33
Kakadu has joined #ocaml
18:34
<
wmeyer >
ousado: try #ocsigen
18:34
<
ousado >
wmeyer: I've asked there already
18:35
<
ousado >
hm, maybe I wasn't clear, I'm just defining some helper functions, I don't really want to send anything over.
18:35
<
wmeyer >
ousado: there are not many people on ocsigen so it might take time, you can also post it, the answers mitght come fastert
18:36
<
ousado >
wmeyer: yes, I've been in that channel for some weeks now, and Drup is basically the only person who answered questions in that time
18:36
<
ousado >
and he's not there, currently
18:36
<
Kakadu >
what happend?
18:37
<
Kakadu >
it seems ousado have become very active last week. <troll>Maybe he have realised which language is beatiful and ehich is not </troll>
18:40
sivoais has joined #ocaml
18:43
raichoo has quit [Quit: Lost terminal]
18:44
ttamttam has joined #ocaml
18:44
<
ousado >
okay, that was a pebkac :)
18:44
ttamttam has quit [Remote host closed the connection]
18:46
raichoo has joined #ocaml
18:56
emmanuelux has joined #ocaml
18:58
* wmeyer
having fun with dependent types :-)
19:15
<
orbitz >
in which language?
19:16
<
ousado >
last time it was Coq
19:19
<
wmeyer >
of course it's Rooster
19:20
<
wmeyer >
I admit it's even hard to say this name in any formal occasion :-)
19:21
<
wmeyer >
they made it difficult
19:21
<
orbitz >
I like the name of their mailing list: coq-club
19:27
_andre has quit [Quit: leaving]
19:43
hto has quit [Quit: Lost terminal]
19:43
hto has joined #ocaml
19:43
hto has quit [Client Quit]
19:43
hto has joined #ocaml
19:46
beckerb has joined #ocaml
19:48
dsheets has joined #ocaml
19:50
beckerb has quit [Ping timeout: 240 seconds]
20:01
dsheets has quit [Ping timeout: 264 seconds]
20:04
eni has joined #ocaml
20:07
speredenn has quit [Quit: Leaving]
20:09
cago has quit [Ping timeout: 240 seconds]
20:15
Drup has joined #ocaml
20:22
ttamttam has joined #ocaml
20:28
Snark has quit [Quit: leaving]
20:34
Watcher7|off is now known as Watcher7
20:36
tane has quit [Quit: Verlassend]
20:42
ttamttam has quit [Remote host closed the connection]
20:46
<
adrien >
"I'm attending a big Coq meeting"
20:47
<
adrien >
you really get to wonder what they had in mind
20:47
Arsenik has quit [Remote host closed the connection]
20:50
<
wmeyer >
adrien: "Today I played a little bit with Coq" :-)
20:51
<
wmeyer >
that does not sound to bad in your language
20:51
<
wmeyer >
but sounds terrible in English
20:51
<
adrien >
I can't believe they didn't see it coming
20:52
<
adrien >
and you could also show coq to children
20:52
<
thizanne >
what about using coq to play with zippers ?
20:53
<
wmeyer >
thizanne: the X-monad zippers?
20:53
<
adrien >
that sounds dangerous =/
20:53
<
wmeyer >
they've done it already
20:53
<
thizanne >
I don't want to do it, I just wanted to add one more "terrible" word
20:53
<
wmeyer >
thizanne: it's terrible enough, that i don't want to sleep
20:54
<
wmeyer >
adrien: nope, I'd say "Cute Rooster"
20:54
<
wmeyer >
(if it's roasted or not, that's different story)
20:55
ollehar has quit [Ping timeout: 276 seconds]
21:02
<
companion_cube >
wmeyer: it actually doesn't sound that good in french either
21:02
<
companion_cube >
"bit" is similar to "coq" in english ;)
21:02
Yoric has quit [Ping timeout: 246 seconds]
21:04
Watcher7 is now known as Watcher7|off
21:12
<
wmeyer >
i am sure if i put on YT a song about Coq it will be banned
21:16
ollehar has joined #ocaml
21:18
ulfdoz has joined #ocaml
21:18
Watcher7|off is now known as Watcher7
21:22
raichoo has quit [Quit: leaving]
21:29
eikke has joined #ocaml
21:31
mcclurmc has joined #ocaml
21:45
Anarchos has joined #ocaml
21:51
ontologiae has quit [Ping timeout: 252 seconds]
21:56
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
22:06
djcoin has quit [Quit: WeeChat 0.4.0]
22:08
eni has quit [Ping timeout: 248 seconds]
22:09
wwilly has quit [Remote host closed the connection]
22:18
emmanuelux has quit [Quit: emmanuelux]
22:43
smondet has quit [Ping timeout: 276 seconds]
23:02
ollehar has quit [Ping timeout: 240 seconds]
23:04
cdidd has quit [Remote host closed the connection]
23:08
malo has joined #ocaml
23:09
ulfdoz has quit [Ping timeout: 260 seconds]
23:10
cdidd has joined #ocaml
23:44
jbrown has quit [Ping timeout: 264 seconds]
23:52
ousado has quit [Ping timeout: 264 seconds]