Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-08-10

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:27 yaqwsx joined #divine
12:05 yaqwsx joined #divine
14:07 yaqwsx joined #divine
15:00 xstill_ mornfall: /home/xstill/DIVINE/divine4
15:21 yaqwsx joined #divine
16:20 yaqwsx joined #divine

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