Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-08-04

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:57 yaqwsx joined #divine
14:34 yaqwsx joined #divine
20:08 yaqwsx joined #divine
20:48 xstill mornfall: nakonec tuto středu v Brně a na FI budu
20:55 mornfall ok; co pondělí a úterý?
20:55 xstill to ne
20:55 mornfall nevíš jestli se škrtal ještě někdo?
20:56 mornfall jinak to bylo myslim docela komplet
20:59 xstill netuším, ale myslím, že Heňo tam bude, ostatní nevím

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary