Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-10-25

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

All times shown according to UTC.

Time Nick Message
02:49 ilbot3 joined #divine
02:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
20:37 xstill mornfall: budeš zítra v brně? mám takový ujetý nápad jak dělat některé analýzy pomocí divine
20:37 mornfall pochybuju o tom
20:37 mornfall ale v úterý jo
20:38 xstill v úterý budu spát
20:39 mornfall to jsou ty priority
20:58 mornfall čtvrtek, nebo to sepiš

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