t-j-r has joined #ocaml
t-j-r has quit [Changing host]
olle has quit [Ping timeout: 264 seconds]
olle has joined #ocaml
urek has joined #ocaml
urek has quit [Max SendQ exceeded]
urek_ has quit [Read error: Connection reset by peer]
urek has joined #ocaml
vicfred has quit [Quit: Leaving]
urek_ has joined #ocaml
urek has quit [Read error: Connection reset by peer]
Haudegen has quit [Ping timeout: 256 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 260 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
urek_ has quit [Ping timeout: 272 seconds]
Guest54422 has quit []
vicfred has joined #ocaml
nullcone has joined #ocaml
jeroud has quit [Read error: Connection reset by peer]
bitonic has quit [Ping timeout: 246 seconds]
wildsebastian has quit [Ping timeout: 246 seconds]
caasih has quit [Read error: Connection reset by peer]
higherorder has quit [Read error: Connection reset by peer]
rgrinberg has quit [Read error: Connection reset by peer]
bytesighs has quit [Read error: Connection reset by peer]
angerman has quit [Ping timeout: 240 seconds]
caasih has joined #ocaml
higherorder has joined #ocaml
higherorder has quit [Max SendQ exceeded]
angerman has joined #ocaml
bytesighs has joined #ocaml
higherorder has joined #ocaml
bitonic has joined #ocaml
higherorder has quit [Max SendQ exceeded]
rgrinberg has joined #ocaml
wildsebastian has joined #ocaml
jeroud has joined #ocaml
higherorder has joined #ocaml
higherorder has quit [Max SendQ exceeded]
bitonic has quit [Max SendQ exceeded]
higherorder has joined #ocaml
bitonic has joined #ocaml
madroach has quit [Ping timeout: 256 seconds]
madroach has joined #ocaml
urek_ has joined #ocaml
andreas303 has quit [Remote host closed the connection]
narimiran has joined #ocaml
urek_ has quit [Ping timeout: 272 seconds]
andreas303 has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
DanC has quit [Ping timeout: 260 seconds]
DanC has joined #ocaml
Haudegen has joined #ocaml
mbuf has joined #ocaml
tane has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
mfp has joined #ocaml
sagax has quit [Ping timeout: 258 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
waleee-cl has joined #ocaml
jnavila has joined #ocaml
neheist2 has joined #ocaml
leah2 has quit [Ping timeout: 256 seconds]
C-16 has joined #ocaml
leah2 has joined #ocaml
webshinra has quit [Remote host closed the connection]
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
leah2 has quit [Ping timeout: 272 seconds]
muskan has joined #ocaml
urek_ has joined #ocaml
leah2_ has joined #ocaml
urek has joined #ocaml
urek_ has quit [Read error: Connection reset by peer]
leah2_ has quit [Ping timeout: 272 seconds]
dborisog has joined #ocaml
leah2_ has joined #ocaml
muskan has quit [Ping timeout: 245 seconds]
leah2_ has quit [Ping timeout: 244 seconds]
rockethead has joined #ocaml
urek has quit [Ping timeout: 272 seconds]
leah2_ has joined #ocaml
urek has joined #ocaml
Serpent7776 has joined #ocaml
leah2_ has quit [Ping timeout: 260 seconds]
leah2_ has joined #ocaml
leah2_ has quit [Excess Flood]
leah2_ has joined #ocaml
oriba has joined #ocaml
leah2_ is now known as leah2
kleisli has quit [Ping timeout: 258 seconds]
urek has quit [Quit: Leaving]
Anarchos has joined #ocaml
averell has quit [Quit: .]
urek has joined #ocaml
averell has joined #ocaml
tane has quit [Ping timeout: 256 seconds]
narimiran has quit [Ping timeout: 258 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
dborisog has quit [Ping timeout: 264 seconds]
lix has quit [Remote host closed the connection]
rockethead has quit [Remote host closed the connection]
waleee-cl has quit [Quit: Connection closed for inactivity]
Serpent7776 has quit [Quit: leaving]
rockethead has joined #ocaml
Serpent7776 has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
amiloradovsky has joined #ocaml
urek has quit [Remote host closed the connection]
urek has joined #ocaml
<
olle>
A simple alias tracking system for variables with typestate
rockethead has quit [Quit: rockethead]
ksft has joined #ocaml
mbuf has quit [Quit: Leaving]
vicfred has quit [Quit: Leaving]
kleisli has joined #ocaml
waleee-cl has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
snowpanda has joined #ocaml
towel_ is now known as towel
vicfred has joined #ocaml
tane has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
tane has quit [Quit: Leaving]
Hrundi_V_Bakshi has quit [Ping timeout: 258 seconds]