avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has joined #mirage
MrScout has quit [Remote host closed the connection]
rgrinberg1 has joined #mirage
rgrinberg has quit [Ping timeout: 268 seconds]
MrScout has joined #mirage
rgrinberg1 has quit [Ping timeout: 268 seconds]
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 256 seconds]
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 244 seconds]
andreas has quit [Ping timeout: 250 seconds]
andreas has joined #mirage
rgrinberg1 has joined #mirage
MrScout has quit [Ping timeout: 246 seconds]
rgrinberg1 has quit [Ping timeout: 264 seconds]
mort___ has joined #mirage
mort___ has quit [Client Quit]
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 240 seconds]
andreas has quit [Quit: Leaving.]
andreas has joined #mirage
andreas has quit [Client Quit]
andreas has joined #mirage
mort___ has joined #mirage
rgrinberg1 has joined #mirage
mort___ has quit [Quit: Leaving.]
rgrinberg1 has quit [Ping timeout: 268 seconds]
mort___ has joined #mirage
dobson has quit [Ping timeout: 240 seconds]
dobson has joined #mirage
mattg has quit [Ping timeout: 244 seconds]
mort___ has left #mirage [#mirage]
rgrinberg1 has joined #mirage
mattg has joined #mirage
rgrinberg1 has quit [Ping timeout: 252 seconds]
rgrinberg1 has joined #mirage
dobson has quit [Ping timeout: 240 seconds]
dobson has joined #mirage
rgrinberg1 has quit [Ping timeout: 250 seconds]
andreas has quit [Quit: Leaving.]
MrScout has joined #mirage
rgrinberg1 has joined #mirage
mcclurmc has joined #mirage
thomasga has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
seangrove has joined #mirage
<
thomasga>
Drup: great!!
<
Drup>
thomasga: there are some weirdness about documentation generation, we will have to discuss that
<
thomasga>
are you back in Cam? I'll be in the lab tomorrow
<
thomasga>
ok let's discuss bout that tomorrow then! It look great though :-)
<
Drup>
(it mostly boils down to "this stuff should really be monadic instead of applicative")
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
rgrinberg1 has quit [Ping timeout: 246 seconds]
rgrinberg1 has joined #mirage
mcclurmc has quit [Remote host closed the connection]
MrScout_ has joined #mirage
MrScout has quit [Read error: Connection reset by peer]
mcclurmc has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
miragebot has joined #mirage
<
miragebot>
mirage/master a29f20f David Scott: xl: parameterise the generation of the .xl file...
<
miragebot>
mirage/master 9b25e1c David Scott: xl: generate an .xl.in as well as an .xl file...
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master 72a58f9 David Scott: xl: generate `vif` devices corresponding to each `NETWORK`...
copumpkin has joined #mirage
contrapumpkin has quit [Ping timeout: 252 seconds]
dezzy has quit [Ping timeout: 250 seconds]
dezzy has joined #mirage
rgrinberg1 has quit [Ping timeout: 246 seconds]
MrScout_ has quit [Remote host closed the connection]
MrScout has joined #mirage
xet7_ has quit [Ping timeout: 250 seconds]
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
MrScout has quit [Remote host closed the connection]
rgrinberg1 has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage