Log of the #nice channel on irc.freenode.net

Using timezone: Central European Time
* arjanb leaves00:38
* CIA-4 leaves01:10
* CIA-4 joins
* arjanb joins09:53
<CIA-4>03arjanb * 10Nice/testsuite/compiler/typing/inference.testsuite: Testcases from bugreports of polymorpic type inference.13:46
* fcb joins15:08
<CIA-4>03fbarber * 10Nice/src/nice/tools/doc/htmlwriter.nice: 16:27
nicedoc now documents global variables as well.
a couple of minor clean-ups also done.
* fcb leaves16:34
<Bluelive>arjanb: vanmiddag met ruys gesproken18:21
<arjanb>waarover?18:22
<Bluelive>ow vertalerbouw en alpha18:23
vrijstelling is wel ok18:24
maar meteen weer het gebruikelijke commentaar
hij vondt nice een beter kanshebber, als jullie meer mankracht zouden hebben
<arjanb>je hebt vertalerbouw nog niet?18:25
<Bluelive>eerste college morgen ;p
<arjanb>vorig jaar niet gevolgd dan?18:26
<Bluelive>nope vorig jaar niet gestudeerd
<arjanb>ah ok
*eten*18:27
*back*18:58
* ChanServ leaves19:51
* CIA-4 leaves
* ChanServ joins19:57
* CIA-4 joins
<Md>[GlobalNotice] We have lost some major servers because of network troubles, sorry for the splits :-(19:58

Generated by Sualtam