pants1 has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
jlouis_ has quit [Read error: 110 (Connection timed out)]
buluca has quit [Read error: 113 (No route to host)]
darinm has joined #ocaml
darinm has quit [Client Quit]
seafoodX has joined #ocaml
darinm has joined #ocaml
robozni has quit ["Ex-Chat"]
mrsolo has joined #ocaml
seafoodX has quit []
mvitale has quit [Read error: 110 (Connection timed out)]
darinm has quit []
bebui_ has quit [Read error: 104 (Connection reset by peer)]
bebui has joined #ocaml
ygrek_ has joined #ocaml
filp has joined #ocaml
mrsolo has quit ["Leaving"]
Tetsuo has joined #ocaml
schme` is now known as schme
filp has quit [Read error: 104 (Connection reset by peer)]
leo037 has joined #ocaml
Yoric[DT] has joined #ocaml
filp has joined #ocaml
schme` has joined #ocaml
schme` has quit [Read error: 104 (Connection reset by peer)]
schme` has joined #ocaml
schme has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
mikeX_ has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
c has joined #ocaml
buluca has joined #ocaml
Tetsuo has quit ["Leaving"]
leo037 is now known as ofaurax
mvitale has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
Tetsuo has joined #ocaml
crathman has joined #ocaml
asmanur has joined #ocaml
sladegen has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]>
mmmhhh...
* Yoric[DT]
wonders how to use Camlp4's Lexer.
buluca has quit ["Leaving."]
mrsolo has joined #ocaml
Tetsuo has quit ["Leaving"]
filp has quit ["Bye"]
david_koontz has joined #ocaml
Tetsuo has joined #ocaml
buluca has joined #ocaml
Jedai has joined #ocaml
Torment has quit [Read error: 110 (Connection timed out)]
asmanur has quit [Remote closed the connection]
mrsolo__ has joined #ocaml
love-pingoo has joined #ocaml
buluca has quit ["Leaving."]
buluca has joined #ocaml
vpalle has joined #ocaml
mrsolo has quit [Read error: 110 (Connection timed out)]
ita has joined #ocaml
Le-Chuck_ITA has joined #ocaml
<Le-Chuck_ITA>
hi there! A quick question about ocaml: the most important thing about functors in category theory is that they map arrows to arrows. How is this reflected in the ocaml notion of "functor"?
<Le-Chuck_ITA>
I am mapping a categorial "framework" into ocaml, and I am implementing categories as modules, and functors as... functors
<Le-Chuck_ITA>
however I don't see where to put the action of a functor over an arrow
Le-Chuck_ITA has left #ocaml []
filp has joined #ocaml
mrsolo__ has quit ["This computer has gone to sleep"]
psnively has joined #ocaml
kelaouchi has quit ["leaving"]
love-pingoo has quit ["Connection reset by pear"]
filp has quit ["Bye"]
bluestorm_ has joined #ocaml
ita has quit ["Hasta luego!"]
Tetsuo has quit ["Leaving"]
ygrek_ has quit [Remote closed the connection]
vpalle has quit [Read error: 110 (Connection timed out)]
mrsolo has joined #ocaml
mikeX_ has quit [Read error: 110 (Connection timed out)]
crathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.8/2007100816]"]
Yoric[DT] has quit ["Ex-Chat"]
mrsolo has quit ["Leaving"]
mrsolo has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
jlouis has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
mrsolo has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
mrsolo has joined #ocaml
kelaouchi has joined #ocaml
jlouis has quit [Read error: 104 (Connection reset by peer)]