Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-11-12

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

All times shown according to UTC.

Time Nick Message
18:54 ilbot3 joined #divine
18:54 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
20:35 ilbot3 joined #divine
20:35 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
20:40 xstill hm, pro auto && platĂ­ collapsing referencĂ­?

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