<flux>
bah, open_in "/etc/fstab" made it stop working :)
<Snark>
I would have had a look at /etc/shadow, but that's me ;-)
Yoric[DT] has joined #ocaml
<Yoric[DT]>
hi
<JohnnyL>
hey Yoric[DT]
<Yoric[DT]>
How do you do ?
Abo-Marwan has quit [Remote closed the connection]
screwt8 has quit [Remote closed the connection]
seafood_ has joined #ocaml
ita is now known as ita|zzz
<flux>
snark, well it would have bene pointless, because it's still running on the client end, and I'm sure I don't have access to the file ;)
<Snark>
oh
<Snark>
I couldn't make the thing run anyway
seafood__ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
yminsky has joined #ocaml
yminsky has quit [Client Quit]
seafood__ has quit [Read error: 110 (Connection timed out)]
seafood_ has quit []
<JohnnyL>
Yoric[DT], I do well, how are you¿
<Yoric[DT]>
ok, thanks
smimou has quit ["bli"]
ikaros_ has quit [Remote closed the connection]
yminsky has joined #ocaml
ita|zzz is now known as ita
ttamttam has joined #ocaml
yminsky has quit []
ttamttam has left #ocaml []
pango has quit [Remote closed the connection]
pango has joined #ocaml
<JohnnyL>
Yoric[DT], whacha up to today?
<Yoric[DT]>
Not much.
<Yoric[DT]>
Assessing homework and reading comics.
ikaros has joined #ocaml
<JohnnyL>
cool
<JohnnyL>
i like comics which one do you have?
<Yoric[DT]>
Right now, I'm reading Promethea.
<JohnnyL>
ah ok
ttamttam has joined #ocaml
olleolleolle has joined #ocaml
Smerdyakov has joined #ocaml
brooksbp has joined #ocaml
brooksbp has quit []
Mr_Awesome has joined #ocaml
olleolleolle has quit []
hsuh has joined #ocaml
opening has quit [Connection timed out]
ygrek has quit [Remote closed the connection]
brooksbp has joined #ocaml
brooksbp has quit [Client Quit]
hsuh has quit [Remote closed the connection]
ikaros has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Quitte"]
ikaros has joined #ocaml
JohnnyL has left #ocaml []
opening has joined #ocaml
brooksbp has joined #ocaml
Mr_Awesome has quit ["aunt jemima is the devil!"]
brooksbp has quit []
<flux>
smerdyakov, after taking a look at how one would go about writing type safe query interface, your approach of using Coq looks like a pretty good way to go :)
filp has joined #ocaml
<flux>
especially the expression types can be daunting.. let's say I have ('a, 'b, 'c) relation3 and I want to have an expression that can compare any one of the three columns to any one of the three columns.. that's already 3*3 constructors for ('a, 'b, 'c) expr3.
<flux>
(I might try it anyway, just to see if it can be done..)
<flux>
(or perhaps I should investigate further if the types can somehow be constructed from each other)
brooksbp has joined #ocaml
brooksbp has quit []
hsuh has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
ttamttam has left #ocaml []
hsuh has quit [Remote closed the connection]
brooksbp has joined #ocaml
ygrek has joined #ocaml
Tetsuo has joined #ocaml
Yoric[DT] has quit [Read error: 113 (No route to host)]
Tetsuo has quit ["Leaving"]
olleolleolle has joined #ocaml
__suri_ has joined #ocaml
bluestorm_ has joined #ocaml
nuncanada has joined #ocaml
brooksbp has quit []
olleolleolle has quit []
ygrek has quit [Remote closed the connection]
bluestorm_ has quit ["Konversation terminated!"]
pants3 has joined #ocaml
pants3 has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
hkBst has quit ["Konversation terminated!"]
smimou has joined #ocaml
pants3 has joined #ocaml
pants4 has joined #ocaml
pants5 has joined #ocaml
pants6 has joined #ocaml
pants3 has quit [Connection timed out]
pants4 has quit [Read error: 110 (Connection timed out)]
pants5 has quit [Read error: 110 (Connection timed out)]
pants6 has quit [Read error: 110 (Connection timed out)]